I’ve replaced a door lock before now, maybe not on that particular model though.
On the one I had fail, the contacts in the switch had arched and burnt out.
Easy enough job to perform, and a switch isn’t overly expensive either.
Make sure the machine is unplugged from the wall.
Remove the two screws (maybe 3) from the rear of the top cover, and with the palm of you hand whallop the top cover off rearwards.
The switch ought to be accessible from the top.
If youre an engineering type, you may get away with cleaning the contacts which will give you a few days grace to replace the switch.