Thanks for the confirmation and source. As I said in an earlier post, I have found exact replacements for the lights and also located a new original Mazda5 light switch on eBay, which I'm following and is listed for $37.
Guess I need to make friends with the service tech that works on the "5's"...