Fair enough... He has done the job for a few years now and been with BP for what 15 years?
yes there was a major flub in the end, but He's out... I hardly think it is worth stripping the man of his pension over. just my opinion though.
EDIT:
where corporate pensions are concerned... its really not that much.