keep in touch with housecall.trendmicro.com from time to time and use its free scan ...
best regards