I need to pull the machine's model number from the BIOS in order to obtain warranty information; the HP web site requires that now. I don't see the model number in the newer HP machine's BIOS. Can this be inserted @ factory or is it stored elsewhere and I’m missing it? This is not a problem for...