yikes!

i would have played it the same way and probably would have put him on trip 7's or the flush on the turn.

and (you already know this) you got your money in when you had the best of it - can't beat that.