Easiest way I know of to do this is to look in the machine's DMI information... There are a number of DMI browsers for windows... Also under linux (if you have a boot disk handy), the utilities 'dmidecode' and 'lshal' will give you serial number information.