leaded solder

My used one came with a cover that appears 3D-printed, but I have no idea if the files are available openly or if anyone else is selling them. I checked on Thingiverse but had no luck.