Replacement handle for quick-change tool

A quick hack to replace the handle of a quick-change tool with 8 mm diameter and flattened end.

I designed this with little tolerance for a tight fit, so make sure you don't under- or overextrude your print.

For maximum stability and speed I printed this in PETG with 0.32 mm layer height, 0.5 mm line width, 6 walls, 10 top/bottom layers, and 25% infill. Upright position with brim. I don't recommend PLA, as it tends to break after a while if under tension.