No need to reset, all phones should get the upgrade files when they reboot if the settings are correct for the file server.
For smaller site I always use the IP500v2 SD card as file source.
Joe W.
FHandw, ACSS (SME)
"This is the end of the world, make sure to buy your T-shirt before it is too late"
Original expression of my daughter