I ordered the dryer door switch and also the door latch switch just in case. The parts came within 24 hours, we watched the video, My son removed the old dryer door switch, put on the new one, and it worked. A bit of difficulty getting the plastic connectors apart, but other than that was easy.
Will keep the inexpensive other part for another day.