I just happened to have an older DSO138 kit on hand so I could just swap out the switches. they are a fairly standard type though and more common than the 90 degree ones. You may need to measure your switches and search some catalogs.
If you have not yet ordered your DSO138mini, I'll see if I can measure the switches and help specify the right replacement.
Thnx! I'm already in the final phase, building the mini with the AEM frontpanel and I'm trying to modify the 90 degree switches :-) I will share some pics when I'm done.
Some pictures of the (for now) finished module. As you can see I've got no parts sticking out of the front. Minor downside of this is that the module is 5 millimeter too deep. Wires still coming out of the sides, I'll add some proper sockets when I can get hold of the same female pin headers Robert uses (anyone knows what they are?).