Hello, My sons dell alienware was stolen. Recently one has been posted for sale at pawn shop nearby. I have the original box and the receipt from Best Buy and was wondering if the serial number could be on the box? Thanks