If you have the time, it's very inexpensive to convert pushbutton doors to rotary switch. It just takes the switch and a decal, plus either some JB Weld or epoxy. I'm in the middle of trying epoxy again - it didn't hold last time but I've chamfered the holes this time so the epoxy will sort of...