Pioneer SA series amplifier loudness button

My Pioneer SA-750 amp suffered some damage and the tip of the loudness selector button broke off. Luckily the rest of the body was in good enough shape to measure. This may fit other amps in this same generation (like the SA-950), or other components from the early 80s with the same small square push button (like the CT-550 tape deck, or others).

This would probably be best printed in resin and then painted matte silver, but as far as functionality, PLA and sandpaper was just fine.