I imported your STL file into SketchUp (into an “inch” model) and exported it again as a binary inch model:
I uploaded it to Shapeways and selected “inches” as the units:
Plastic prices are about $16-$20.