The lock is now completely stuck. It used to get a bit stiff but elbow grease and WD40 used to do the trick.
Fortunately the door is open but is 'locked' so we can't close it properly. I have emptied about 1/2 a tin of WD40 into the lock and keyhole but no luck.
Do I need to unscrew the lock? Please tell me not!