EM "alumni" here. Received docs for a "one time" lump sum pension cash out.
I'm torn on this. Seems marginally better to not take the lump sum - between amount paid and for tax purposes, but not sure EM will be around in 25+ years with sufficient funds to cover a pension.