no....the retirement fund for the blue collar workers is actually fully funded. The healthcare fund is an issue. But the health insurance fund was created during the last contract negotiation and it probably will never be fully funded.