Yes, I have, and it wasn't what was described there! It needed a new
tiny lever that dropped down at the upper right of the door opening,
which had snapped off. But when it was broken off, there was no obvious
sign that there should have been anything there, if you didn't already
know. But to replace the lever, it needed a new switch/lock assembly,
which was installed, by appointment, by a pair of engineers, who
checked the whole thing out afterwards, and then left me a happy
customer.
--
Davey.