If all else fails and your only recourse is to wipe the drive, here's a suggestion. Pretty much the same as
MontanaXVI's but you won't have to detach, change the jumper settings, and re-install the HDD.
Get an IDE-to-USB adapter cable (and possibly a USB cable extension) - here's a suggestion where -
Newegg.com - GWC AD2200/AD2210 USB2.0 Hi-Speed to IDE Adapter
This is assuming, of course, it's an IDE drive.
Then disconnect the the infected drive from its controller cable.
Using another computer, hook up your co-worker's hard drive via the adaptor into a USB port, and salvage whatever files you can before wiping it.
It's not a perfect solution, but at least you can save all the songs by copying them to another drive.
ps - now that you have the adaptor, download
WinMFS and use it to put a much larger hard drive in your TiVo.
2 birds/1 stone.