However, I was a bit puzzled when I saw the Product Information on the bottom of the laptop indicated that it was an HP255 G10 rather than the G7 it was sold as.
eBay