Mail File Move

Hi,

I have two users that are having problems receiving mail from only one of our 5 Notes servers. We have 5 scattered all over the globe. These two users are the only users on their server. I need to change their default server to another that is at the same location but replication is turned on, and their mail file replicates to all 5 servers. What is the best way of going about this? Delete the replica on the intended server, and then perform a move mail file to that server. OR, just change the Default Mail Server in people document?