either way here it sounds like he's a donkey, you may have made the right play, but if he raised w AT, hes gonna call an all-in w top pair all day so yea he hit a 7 outer on you, but if your planning on getting your money in with this hand, just shove preflop, and make him make a bad decision...keep in mind your only a 75ish% fav to win the hand...