Mr. Red, we're hoping to get all of them reinstated eventually. Those that took the Musk offer of a buyout may have been at retirement age and hoping to get a bonus payment (chances are he will stiff them on that.)

We're still working on this. Pushing back, and it mostly seems to be through the courts.