Power button replacement for harman/kardon HK3250

This is a simple power button replacement för my old harman/kardon hk3250 stereo receiver. The pins on the old button broke a long time ago, and I never managed to glue them back, although I tried. Now that I have a 3d-printer I made a new one.

The button worked for me straight out of the printer, I just removed the supports. Bear in mind that your 3d-printers xyz-calibration affects the measurements. I've calibrated my printer to be pretty much exact.