This was the first time I ever did that. Used one of those online services that will print stuff for you.
It costs quite a bit, cost me 25€ including shipping. If you know someone who owns a 3D printer, you can get it much cheaper, I guess (just the material cost, or maybe even for free)
