I'm aware of that site but I don't need anything else at the moment and so with shipping, it would cost almost ÂŁ25... seems a bit excessive for a single pin ball*.
*Honesty disclaimer: I spent more than ÂŁ40 on a ceramic one for my DE JP to represent a dinosaur "egg" haha