I am not in the push camp. I think by pushing you give this guy an opportunity to fold.

I like a bet of around $4.5K on the river. This will ensure a call if he does in fact have 2 pair or a set. Granted he would call your push if he had a set, but I would rather guarantee myself at least another $4.5K on this hand. I think a push makes him fold 1 pair and 2 pair hands.

Obviously if he missed his draw he is folding on the river to a large bet anyways.

I definitely don't like checking here, he has shown his willingness to call, so BET.