Yup, rare as rocking horse lips.
When i found dodgy pre-shape and graphic in/out switches on my series 5 GP11, i got my amp tech to keep the outer switch covers, just to keep it original, knowing how hard they are to find. To make it a bit worse, my switch covers are TE green, so another reason to keep them. He replaced the switches beneath the covers and it was far from easy apparently. Keeping the original green covers was the problem, but he managed it.