Here are the gory details:
Resolved, with a bit of help from tier 2 support as well as some pure luck:
- After the initial problem, we tried to delete the user and recreate, but then saw two errors on the server, indicating there was a problem deleting the user. Turns out you need to go into the...