So, I got the board loose.
And the switches arrived (thanks, Jim!).
The physical size looks close enough.
But it looks like the old switches have two terminals, while the replacements have four.
Not sure how to make these work. Am I missing something?
Phil Nelson