Ordered a new door solenoid, housing for the light and switches (broke that when making a replacement of the cup actuator arm years ago) and also the rubber door itself. The parts were exactly the right ones. Everything fit correctly and I put it all back together and everything works like new again.