It's really simple to get BIOS serial number or service tag from a pc.
1. at the command prompt type: wmic bios get serialnumber
On a dell pc this number will correspond to the service tag of the machine. this may be the same for Lenovo machines as well