The big 3 also had $354 billion in debt. Will workers pay that down too?