Ruling Question

[MichaelOar]

This hand came up the other day:

Player 1 bets the river and is called by Player 2.

The board is Q9T5J rainbow.
Player 1 tables AA. Player 2 shakes his head, says "that's good" and tables T8o.

The dealer grabs player 2's cards, pushes the pot to player 1 and starts preparing to stick the deck into the shufflemaster.

At this point, since Player 2's hand is now irretrievably gone, I interject that Player 2 must have felt so badly about hitting a gutshot on the river that he didn't want to take the pot with his straight. (P2 is a known steamer, and I was hoping this would push him over the edge---maybe I'm a bad person).


Floor comes over. Dealer agrees with me that the board gave P2 a str8, and the floor awards the pot to P2. Now there is some confusion about how big the pot was, so they finally "settle" on like $90.

Problems with the pot size aside, is this ruling correct?

Michael