[Do You See Why]

The following happened a couple years ago at Oceans 11 card room in San Diego. I was thinking about it today and would like to know peoples opinions on what they would have done.

It was the 5-5 NL game(buy in $300-$500). At the time this was the biggest NL game they spread. It was around 4 in the morning and I had been playing for about 8 hours when the hand took place. Play was 5 handed and my opponnet was another young guy who had been there about as long as I had been. He had my $900 stack covered. I cant remember the exact dynamics of the hand but I had taken the lead on all streets and in the end had nothing but a busted str. draw. Board read something like AT872 and I held something like Q9. A flush draw would have been completed on the turn or river I cant remeber which. With about 800 in the pot I pushed for my last 500. He took nearly 5 minutes and finally called the bet. Without a word I turned over my cards and set them on the table. He sighed loudly flashed me an ace and mucked his hand. The dealer gave him a strange look and began to push me the pot. About 10 seconds later the guy relised that he misread my hand and protested saying he accidently mucked the best hand. The floor was called. Obviously the floor ruled that since he mucked his cards the pot was mine, but also added I could do as I liked with it.
What would you do?