I'd have done that, if I thought there was any point. But there are multiple reasons why there isn't:
* These are quite common. Anyone having any old HP gear, needing more, AND having a 3d printer, will have some of these already. They can measure them themselves. So the remaining tedious details are superfluous reasons why I didn't.
* The outside is 2-slope pyramidal, with radius on each transition. So much fun to try and measure precisely, calipers or not.
* The internal shape and its dimensions are complex, and 'press-fit critical'. Good luck trying to measure and print it to good enough tolerance to actually work.
* The click-fit and resistance to popping off again, is due to 2 tiny little ridges on the inner faces, that key into grooves on the switch shaft. Molded in some very hard plastic. Good luck getting them right in 3D printed thermoplastic and not having them just flatten or shear off when pressing the button on.
* The color and surface texture matching is critical for old gear historical restoration. I do not believe that 3D printing using commercially available filament could possibly get even close. And so there is no point whatsoever. Better to have no button than some bodgy crap-looking immitation.
Thanks for the suggestion, but I think it was a knee-jerk 'off course 3D printing solves everything.'
Rear feet and some other parts where color and texture don't matter, sure. I did see the thread on making parts for restorations when searching for sources. But not suitable for these.