I think shoving the river would be overkill if he checked back on turn.

As played seems std. He can only have one combo of AA and one of KK and 4 combos of of AK. He can also have like AQ or whatever some and a random bluff like barely ever but still. I guess very marginal either way.