If they replace theirs with the clean one, will they have to re-enter their product key when it tries to connect to the server again?
No, they won't. That file just contains information relevant to your app & version. It doesn't contain the activation or trial data. That activation/trial/etc. data is stored elsewhere on the computer.