Whoops, I fat fingered a number: the amount of annual pension vested each quarter-year of MLB service time is one fortieth of the max amount of $275K, so $6875.