Trend Micro has separate tools for the variants (more recent variant has more steps for removal).http://www.antivirus.com/vinfo/virusencyclo/default5.asp?VName=PE_MAGISTR.Ahttp://www.antivirus.com/vinfo/virusencyclo/default5.asp?VName=PE_MAGISTR.BI'd have him run a Free on-line housecall virus scan from the link below.http://housecall.antivirus.com/