Thanks for the replies everyone.

Okay so what I've taken from this post is that I can 3bet smaller preflop, because even though we're out of position the stack sizes are such that a smaller 3bet isn't offering him the same implied odds that it would if we were 100bb deep. That seems to make sense.
re: mrchevy, I disagree that we should never 3bet if we're folding to a 4bet. If we take all of the ranges that I said in the OP (although I agree with somebody's point that he could be 4betting a bit wider), then the maths would be something like this:

35% of the time he calls, we're 62% to win, 38% to lose
12% of the time he 4bets, we lose our bet
53% of the time he folds, we pick up the dead money.

0.35 * 0.62 * 1.75 0.38
0.35 * 0.38 * -1.60 -0.21
0.12 * -1.60 -0.19
0.53 * 0.55 0.29

EV = +0.27

I'm also not sure what your equity calculation in a later post was supposed to be but you seem to be claiming {AJs+, 88+} is 17% of hands when it's only 4%?

As for the flop people seem to want to either open-shove or check, everyone's agreeing that a small cbet here is silly and, as I noted in my analysis, I tend to agree, and probably lean towards checking as I'm not confident I get called with enough shit to make a shove profitable.

Thanks again guys, and sorry it took me so long to get back to this.