I would revolve that. Although, I am confused about what you are asking because it looks like you have the dimension you want in your screenshot.
And backing up, I would extrude (or revolve) the main body, and then revolve>cut that detail.
I would revolve that. Although, I am confused about what you are asking because it looks like you have the dimension you want in your screenshot.
And backing up, I would extrude (or revolve) the main body, and then revolve>cut that detail.