Can you clarify for me who did the bios update, your shop or the customer? Did he purchase the system from your shop?