Retiring at 56 with a pension sounds pretty good to me.

From a somewhat low-paying job that has no transferable skills? How big is the pension? If it's not nearly as large as the person's prior paycheck, it doesn't sound like a good deal at all.