I posted these originally in the Projects section for the long in the tooth TDS3K scopes but this might be a better place for the STEP files for 3D printing. The OEM boards should fit in the 3D prints incase you have cracked or broken one or just print the top side if you want to just fill the slot.
All parts were printed out of Bambu Lab PETG HF on the X1C for my prototypes but PCTG might be a better option. ABS is also a possibility. All of the models print as is, but you may need to tweak for your printer. It took a fair amount of iteration to get it just right. The snap on top part for the soldering fixture prints top side down and does need supports. The part for the programmer clamp prints top side down with supports under the fake IC notch. None of the other parts need support.
The related PCB files and set of instructions on use can be found here: (No Tek EEPROM data will be found here, you have to find that yourself!)
https://www.eevblog.com/forum/projects/tektronix-tds3000-oscilloscope-modules-tds3uam/msg6231585/#msg6231585Since the project involves both electronics, 3D printing and replacement parts it is kind of hard to define where they should go. I thought that the two locations would make sure that people can find them. In any event the files are small and won't take up much space on the EEVBlog server.
Thanks Dave for all you do and allowing us to have create this great community and save old test gear from the landfill!
Scopeman
P.S. I have some more TDS3K stuff I am working on.

More in front of the boob tube with Alibre Design and a pair of calipers and a scope in pieces

.
Question for the group:
Is there any interest in creating a 3D model of the TDS3BAT housing?
It may not be exactly the same as the latches might be tricky. I only have access to the original TDS3BAT NiCAD one, not the TDS3BATB (that was recalled) or the later TDS3BATC. Is there anyone that has interest in creating a LiON charger for such a venture (maybe using 18650's) as I am not sure that I have the necessary skill for such a task?
In addition, if anyone has made a 3D model of the female connector that is in the TDS3BAT or has suggestions for the female connector (flag terminal?) that would be a great help.
I think properly mechanically locating the connector is going to be one of the biggest challenges now that I think about it.
It seems that even dead TDS3BAT just to get the housing bring $$ on evilBay. Which is crazy for now going on 20+ year old scopes.