As far as I could make out, the latch inside the lock does not seem to turn. I can get it to turn if I help it along with a screwdriver, but it does not rotate freely.
Will try and get door open again tomorrow, remove lock again, remove solenoid, and flush the lock with degreaser or penetrating...