Which is a pretty high salary in the US in tech generally.

That said, a lot of people in US tech can probably retire relatively early if they run the numbers and don't have a lot of external expenses.