Great, Andrew! Thanks for reporting back. Even old-fashioned remote unlocking is better than old-old-fashioned using the lock.

One of my original keys is still working after almost 18 years. The other died quite a while back. It went through the wash, which might have been the cause, or it could be I just didn't use it enough.