Nothing in that info that confirms #s matching or originally TX9.
Someone threw every decoration they could at it, in spite of it being a rare (if legit) factory combo.
I think the seller should have gladly taken the top bid; I'd be nowhere near that price.
Admittedly, though, I'm more of an originality fan.