All true. I have done all three - here is my Thingiverse page:
https://www.thingiverse.com/resonance11/designs
Almost everything that I have printed for antique radios/TVs is there, including STEP files as well as .stl files, so that others can remix as they wish. The only exceptions are a few simple things like replacement elastic gaskets.
As I'm sure you already know, there are plenty of people out there who are willing to 3D print a part for you, if you send them the .stl file.
Thanks!