Yeah, even though I've played thousands of hands at this casino, I still made a stupid move and just got lucky that he was a nice guy. The pot size was 75 dollars, so I'm certainly glad he was nice. Next time I see him playing, I'll offer to buy him dinner or something...