Proxxon PS-13 Pen Sander replacement Tooltips

I was looking for some replacement toolheads for my Proxxon P-13 pensander and was having trouble finding them.  I found some other brand that looked like it might work on Amazon, but figured I could probably print these out myself.  The other model on Makerworld, linked in post,  wasn't quite the right fit for the Proxxon, so I made some adjustments to size/thickness, and created the additional toolheads (circle, triangle). Took a few iterations to get the sizes right (note that the tip sizes don't quite match the premade sandpaper cut-outs, since I buy self-adhesive sandpaper sheets and simply cut them to size, instead of paying $15 for 3 little sheets of refills), so a little re-sizing of the tips might be needed if you buy the replacement sheets direct from Proxxon.

Printed in PETG for robustness, and used 75% infill for same reason (o9ther model was only 5), since the increase in filament and time to print was negligible, since these are so small.

I can make additional shapes if anyone wants them.