Ruben is correct, when they actually do a login then it should recalculate their total PMs correctly. So you might have them try actually logging out and then back in and see if that corrects it.
Although not noted in the changelog we did have a couple little tweaks in this area in 7.5.3 as well and it fixed the remaining issues for the couple of sites I used for testing the updated code.
