unbelievable dealer mistake, what would you do ?

[porterman]

Last night, after busting out of the 7pm tourney at a Vegas casino I enter the 11pm. As I am stepping out for a moment I pass by the 7pm final table and witness the following. Play is three handed, one guy short stacked with about 35 thousand, complete drunk with about 110 thousand, and another guy has them covered.
Short stack moves all in from the button, drunk calls, chip leader calls. Flop comes 993, drunk moves all inn, chip leader calls with 10 3 and his hand is good. As soon as the cards are turned up, dealer says wait, hold on a minute. Drunk guy has 64 for 6 high, short stack has K5 for K high. Dealer says K high second best hand, shortie gets second place.WTF??
p.s $500 difference between 3rd and 2nd.