Did they not look up the PC manufacturer or model number to verify this hypothesis?