You had 75% equity when he shoved with his pair. He had 5 outs, and no draws to a straight or flush. You played it fine---I will call a shove there with an overpair 95%. The player is a fool who got lucky---he should never have played a junk hand OOP to a 3bet. Don't second guess yourself on a well played hand.