It's more of a function of how much you have behind vs how much is in the pot. We obviously can't formulate an accurate preflop range for him for calling a 3B due to sample size, so he could ostensibly show up with a wide range after he calls our flop bet. Both of these facts lead me to believe that shoving is better than other options