if it ever happens again and you don't have a desktop or it errors on boot (including safemode) try combofix

http://www.bleepingcomputer.com/comb...o-use-combofix

just tested it on a customers computer 3 seconds ago