Congrats, we probably retired close to the same day. Different roles but much of my corporate experience would read like yours, with all the same motivation to get out early and intact.
-----
Great advice above, definitely take the company match on 401. I would add, max your Roth every year w/o...