DHCP 66 would probably be the way to go if it's something you can configure on the network easily but, if for any reason you can't, you could:
1. Take a full backup and move away from server as a precautionary measure.
2. Export all extensions.
3. Edit the csv file so that extensions get converted to 4 digit extensions. Also edit the "InterfaceIP" column that holds the current local ip to hold the new local ip (of the new server).
4. Shutdown the old server and deploy the new one.
5. Complete installation with 4 digit extensions and then import the extension csv file.
6. If you then just factory reset all phones (could probably ask each user to do this for their own phone if you're not onsite) you should see them all come up as new devices in the "Phones" section so that you can then assign them to their extension. If you attempt to assign a phone to the wrong extension you'll get a message telling you to which extension the phone belongs to so you can then select the correct extension.
7. It will automatically take you to the extension's "Phone provisioning" tab where you'll just hit OK and the phone will get provisioned.
Important: The above process applies provided that the IP Phones are all configured as local devices and you will keep it this way. In addition, bear in mind that the extension csv file you export will only hold the first IP phone assigned to each extension meaning that this will not work if you have more than one IP phones for any extensions. Also, for the IP phones to come up in the "Phones" section after you reset them they have to be on the same subnet as the PBX as this is done via multicast.