9 years at facebook, maxing out 401k and Roth Megabackdoor ~= $450k in tax-sheltered retirement accounts. That is a hell of a good start for retirement.
Matching is great, but the total limit on 401(k) contributions for the year ($61–67k) is the same whether it’s withheld from your wages or matched by your employer.
(This is not financial or tax advice; listen to me and I will definitely lose all your money and send you to club fed.)
EDIT: forgot the employer match. More like $600k.