I only found this red flipper button from Marco spec (doesnt include the housing) but its only $3 or $4.

http://www.marcospecialties.com/product.asp?ic=03%2D9881%2D32

if u get a revenge from mars manual and find the actual part number, do a search under that part number on both Mark C's pspa site, as well as bay area's site and also marco spec's site. I do have a manual and can find the part number if u cant find it.let me know.

hope it helps a bit. ring n ask mark c incase he can help u from a parted out RFM or he may ? have some new ones ? maybe another AP member can help with some other ideas.