I think he is already fully vested based on this from a search for the MLB retirement plan
"After ten years in the major leagues, players receive an annual pension benefit of $100,000. MLB players, who have played for 10 or more years and have accrued at least 1,000 days on an MLB roster, can receive the maximum pension benefit of $230,000 per year."