Questions now are, apart from Pinball Shed, who else are distributors and what they will cost. With no RRP from Homepin, wonder if the end prices will differ between distributors. Time will tell.