Well I just wrote these coins off, for now. My new wallet encrypts and decrypts fine, so it must really have been a typo, I guess.

If anyone wants to have a go at cracking the wallet, PM me. I'll send you the .dat file and what I thought the password was, and if you can
crack it using a script like the one in this thread, you can keep a fraction of the contents of the wallet that seems fair.