To be on the safe side, I weedled my way under the dash, and found the switches, depressed brake peddle, pushed both switches all the way in, and when she released the peddle, which automatically sets the switch positions correctly.
All brake lights seem to work, however, a test drive did not reveal any difference, definitely no OD light, so on to the next test...