FileVault password not updating

Hi everyone,

I have a user whose FileVault password does not update when he changes his network password.

The users all login using an AD account, the accounts are set up as mobile users and as FileVault users. All other users seem to be working ok but one particular users account does not update his password and I cannot fix this!

His Mac is a 2011 Mac Pro running Mountain Lion, other FileVault user passwords update ok on the same Mac, his AD account is ok, he has network connectivity and I have tried manually changing his password with him.

Any ideas?

Thansk
Rob