Well personally it doesn't look enough.
Depends how long they will be retired, health and the retirement life they plan to live.

Some folks have a happy life doing nothing and living a frugal life.

Takes all sorts.

If that's what they'd planned for good luck to them I say.