Isn't the product code and not the IMEI what was used on Symbian devices to find new firmware versions?