I think that maybe if you 4b to $9 for value against this range, then you can also shove and he will call all the same? This might be better because with that range, lots of cards on the flop can scare him off and convince him not to continue. What do you think?

Also:
so we ship because we have him crushed and only need 41% equity vs his calling range
I think this is wrong. When you open-bet the flop, it's because you have more than 50% equity against his calling range (and because his calling range makes up a significant percentage of his whole range). Not sure where you got that 41% from?

Other than that I think it's played well.