I took another look at eBay. See item 124299468972. It appears that the same seller has red switches. He also gives away the manufacturer in his pictures. The pictures show the red toggle removed from the switch. He might sell you just the red part. Google fujisoku switch and quite a few sites come up.
?
