Take your pick where you purchase from as you are in the EU. The spigot is 21mm outer dia so hopefully will be a direct replacement for your broken (stood on it?) one. If I remember rightly they are glued in so you will need to peel off the black not so flexable or just go for it with a knife or junior hack saw.
Thanks both of you, I have ordered one and hopefully should be here in about a weeks time, Wont old my breath as the post is very slow having sent from UK