I would think he can google Serpent in Holland or something Serpent in Netherlands and find something. They have to have a public facility there that sells Serpent.
I will also email Serpent and see if there is a phone number or address to give him.
DJ Apolaro