My “new” replacement switches for the record player arrived today.
I desoldered the wiring from the new switch board and then removed the old switch board from the record player harness. Keeping in mind the orientation of the 3 wires.
Then I soldered the wires into the new board and installed it.
Then I reassembled the record player, I did regrease the nylon gears with some “medium” weight silicon grease. Seems to work fine.