Assuming an AD domain with Remote Installation Services set up, I'd lean towards
DBAN 
followed by a quick system reimaging over the network. Disinfecting a heavily-hosed system takes a lot of time and leaves some uncertainty, whereas reimaging it takes a known amount of time and leaves very little uncertainty.
When I was a sysadmin, I had a loaner system ready when needed, complete with a handle bolted to the top. We had a remarkably virus-free fleet, but stuff like HDD crashes occasionally called for a rapid fix to keep the employees up and running.