I just picked up 3 E5520 laptops, and they have never had a BIOS upgrade. When I try to use any of the BIOS files on the Support page for this model, I get a message that I must have BIOS version A02 installed. Can anyone point me to the A02 BIOS update? I assume it is in the old format and needs to be installed manually. Thanks.