Paid out $1.5 billion? I don’t buy it.
It sounded high to me as well, I am just copying & pasting the article as found. Nevertheless, 50,000 retired teachers @ $30K a year is $1.5 billion.