If i was gonna 4bet it would be a fair bit smaller, $2.75ish. Personally tho i'd call the 3bet and see a flop against this player since we have position.