The Dell restore disks I've used allow for a repair (without format) and clean (with
format) install. Check with Dell or the Users Manual for the 4700, see what it says
about it.
You can download a iso image of the Recovery Console and use it to create a bootable
CD then boot the CD and replace ntdll.dll that way. See here: