The new profile should be checked on the server to ensure that the timestamp is correct. If the time is synchronized throughout system, then the server stored rofile should automtically overwrite the corrupted ones that the user generated on the machines that they logged onto. The admin should be able to modify the GP to ensure that the profiles are only used from the server since you indicated that they use multiple machines anywhere in the system. If they don't do this then they will have a nightmare in tracking what users profiles have and where. Especially if the machine has a clock that is not synchronized with the server. A local profile is only useful if a user works on the same machine most of the time.
A simpler solution would be to use mandatory profiles stored on the server. This would force the same profile to be used at all times on any machine. It can be copied from a local machine to a server and then converted to a mandatory profile. Simpler, easier and more consistent.
If the server is Win2k8 or win2k8 R2 then the Netsh command can be used to add and delete profiles:
Netsh LAN commands
Following are the Netsh LAN commands that you can run on computers running Windows Server® 2008 R2, Windows® 7, Windows Server® 2008, and Windows Vista®.
add profile
delete profile