[wallenborn]

Push is fine, imho. He has enough chips that, if you just call, he can cbet a lot of flops without risking much. Often, you'd have to fold then, even if you had the best hand. So push is best, i think.