FYI it's never a bad thing to run a different manual malware scanner than what you'd using to monitor in realtime, if you suspect you are infected. My manual scanner of choice is Trend Micro.

http://housecall.trendmicro.com/

-Ben
HT v2.0
HT v1.0