That's reasonable for that ticket stub. They usually sell for about $2,000 in an auctionhouse sale and when you consider the buyers premium that's pretty close to what they go for.