I don't think it really matters much here. It's going to cost him, what, another $375 to call either your pre or post flop push? I don't see him laying that down even if he completely misses the flop. I guess there's a small chance he would, so stop and go may be slightly more +EV.