The stem is 3.8 mm in diameter.

I think some of those Aus based printers I found do free quotes, so there's no risk. Shapeways is at least a known quantity in terms of materials and quality, but the $20 shipping is a real killer for small orders.