I suppose, however I'm sure he was hoping somebody had made or would make a flush and take a stab (aka, get even more $)...then again, maybe not. All I know is that I'd so love to FLOP a Royal! How cool is that?
Best I've ever done is hit a diamond royal on the river in our home game a few years ago, and got paid off for it. It's the source of good-natured ribbing between myself and the victim ever since who had a 9d with another diamond. It's the only time I've ever witnessed one. At least my "royal flush" card protector is justified.