Nope the user wouldn't have to download the whole game again.
The patching in 3dgs works if you just provide the new .exe file and all modified files which replace the old files.
That should work too.