props to iopq for doing the math.

the interesting part about this is in practice his 3bet% could truly be a shit ton lower and he's just running sick hot and only 3betting a strong range with maybe 1-2 'bluffy' hands in.

but given my reads I think a 4-bet shove is in fact the best play here as shown by the numbers.