Well you do have 13-15 outs here depending on what you put him on and that's not bad especially when most give you the nuts here. Shoving is not bad whatsoever in this position.

But still...Royal Flush...I'd pay $5 to see it again.