easy shove imo. Its the only play. If he only minraises sets, i think his stack is short enough that u can still profitably push.