They should speak with the pension plan administrator.