It appears as though the condition was transient - after verifying that the user had a valid Kerberos ticket, that the drives were mapped, and proper DNS servers were set, I tried to replicate the issue by clicking on the mapped drives. To my surprise, they immediately opened without any issue. I informed the user of this, tested access to several files successfully, and asked the user to let us know if any other issues arose.