Yep, 2024 market is considerably too good though. When he about to quit, I'd expect 8% yield (pessimistic) per year, so $6.4k/yr or $533/mo, that's "good" living quality in non major cities in Thailand. But to be fair, it's only good for locals, not for foreigners. And that $80k also needs to be invested 1 year before quitting.
It's doable for extending up to 3x of his runway.