Hey, it looks like the STRS overpay was credited to this months check. look under the line item for STRS RED, and there is a STRS OPBEN with a negative number. This is the refund and it is taken out of the current STRS reduction for the month. So, peoples checks this month are EXTRA big with the combination of the raise and the payback.
Thanks to Chris Saporito for figuring this out.