400ish. But many are retiring/early-retiring in August.

My understanding is that they're being offered "furlough protection" lasting less than a year from now (through 2Q 2021) IF they vote to extend their current 25% pay cut. I think the cut is actually 25% fewer work shifts yielding that reduced pay. If they don't take the deal by July, they're being told it's off the table and will see ~20% furloughed for 2-3 years. All the August retirees will vote on the deal (or have the opportunity to) despite the fact that they'll not work under the resulting (or rejected) agreement.