Is that the orange sticker you're seeing on the left side? I don't know why it is telling a different model, but a more reliable sticker to look at would be the one at the bottom of your tx2. It's a black sticker with a barcode named "Service tag", and it would say P/N for product number. You will know if your tx2 is refurbished if it would say XX###XXR, like for example: NK911UAR
And just for verification, if you search the product number of your tx2 on HP's website, it should bring up tx2-1274nr as well.
Tx2-1011au
Windows 7 Home Premium 32-bit
AMD Turion X2 Ultra Dual-Core Mobile ZM-84
ATI Radeon HD 3200 Graphics
4GB RAM
250GB HDD
RSS

