How did you find the bios virus to start with. They are so rare, that they are almost considered mythical. If takes an almost...well, I don't want to insult anyone, but someone would have to be almost clueless to get a bios virus. You would either have to boot from a floppy or flash their bios with an infected flash file. I would be very suspect of an antivirus program catching a bios virus. Also, what were the symptoms of the virus.