The problem was resolved. I was able to work out the admin password after all. I had a typo when I changed the password. I tried lots of characters around it and got it.

We have a computer with Bitlocker (TPM) on it and I use Sophos to track the recovery key. Each time you use the recovery key it resets the key and tells Sophos the new key. We don't have the...