There is an easy way to retrieve the serial number from BIOS without having to reboot and go into the BIOS. The WMIC command line will retrieve the serial number for you with no elevated rights required.
Open a command prompt and run:
wmic bios get serialnumber
wmic bios get serialnumber