Best to use different antivirus on each device. I've had 2 occasions where I ended up down to one clean device but I could use that to scan the others.