I believe the thread was actually derailed from the start. Robin merely provided the name for those not in the know.
Having a 3d printer, I can confirm it is easy to adjust the size of the output. All you need to know is what you want the inner diameter to be and the rest is simply a matter of scaling the stl file prior to output.
sigh... I guess this makes me an enabler...