Umm, they didn’t even format the hard drive? They just gave you a used government computer?
The serial number is really a moot point if it’s “hot.” Motherboards can be replaced. Heck, with the right utilities, one could even change the S/N in the BIOS.
I don’t know what to tell you. I would err on the side of caution and contact the seller.
They laptop came originally with MS Vista Business. The seller, I believe, upgraded it to Windows 7 Ultimate. It is activated and it is legit according to Microsoft yesterday. It also has MS Office 2010.
Contacting the computrace/lojack folk with the sn might be a better tactic. The seller has a vested interest in selling the box. Computrace might be able to tell if the box is hot...
As the buyer, you should be covered by ebay policy, your credit card provider, and LE (all speculation here)
Good luck