$80k lifetime is pretty generous. Granted, I’ve only been around a dozen or so tech companies and their benefits, but $20k is fairly standard via Carrot and Maven. Not that it helps his case much, but good on the people that still have access to even some of that money.