I agreed that he most likely has a monster, but the problem is that no matter what hand I have here if Im the villain, Im shoving in if hero checks. If I somehow happen to have AJ or worse, Im shoving if hero checks....so I think hero has to shove first.

You might say that only a donk will have AJ here, but I will say that only a donk will flat call with a set on this board, so since we have no read, I dont really think you can say for sure that he has a set or AT (although it does look like it).