Radio Shack is way across town and the auto parts store is right across the street from where I park at work. I realize the switch could be purchased for less some where else, but it was almost 5:00 PM and I wanted to complete the job that night.
Available from Wal Mart, costs about $4. Looks like contacts and electrical components are brass. Looks marine grade. I put this in a $2 box from Radio Shack.