have you tried looking at her machine and making sure that she does not have any password saved. also look at the secuirty logs on the DC and see if she is logged in on another terminal with an old password.