win7 cached credentials

at work i have a user that works from home and uses vpn software to connect. she had a problem with a software package and our help desk tried resetting her windows password. this caused a problem with the fact that her cached credentials and the password on the domain didn't match. now her vpn won't connect and locks her domain account. we also have Citrix and she can use Citrix without a problem, but I would like  to get her back to using the VPN because some of the offsite people that only use Citrix has a problem were their copy of office deactivates because it can't contact the activation server.
so i was wondering - is there a way to reset the cached credentials so that when she tries the VPN, windows will see that the cached credentials and the domain credentials don't match and have her put in a new password?
i ask because prior to this, with a different user, i had this same problem, but for that user, when they fired up the VPN windows had them put in a new password and they didn't have a problem with their cached credentials.