Fwiw, I just used those models to have some 3D printed.
I got one from Shapeways and another from a local 3D printer owner through www.3dhubs.com The Shapeways one in blue is pretty impressive. The locally printed one is in PLA and it's a bit rough, but it absolutely works. The locally printed one was $11, picked up. The Shapeways one was $38, shipped (~$5 shipping).
I wanted to try different suppliers/materials. I got the Shapeways one in 27mm using their "Blue, strong and flexible, polished" color/material/prep choice. I got the 35mm one from 3dhubs in just plain old blue PLA. The Shapeways blue stuff is laser sintered, the 3dhubs was extruded. You can definitely tell the difference. Is it worth $22 extra for the finish? Probably not as they both do the same job.
If you want perfect then I'd suggest Shapeways. If you want cheap and local then 3dhubs is worth considering. The only issue with 3dhubs is your quality/service is only going to be as good as what the local printer provides. Mine was, I think, just a high school kid with the printer at his folk's house. Never met him, I picked it up from the front porch. Which is fine, but I could see where there's potential for problems.
Either way, the whole process was pretty easy. Just uploaded the model to the services, made my selections and waited for delivery/pickup.