This question is about maintenance. The post in the Rules forum seems out of date. I understand that the military class ships have a ticking maintenance clock. As the clock advances, breakdowns become more likely. I believe the Engineering sections affect how quickly the clock advances, but also they contain maintenance supplies for doing immediate repairs. You can trade maintenance supplies between ships in a fleet. You can reload your maintenance supplies at a colony if it has maintenance supplies. You can build maintenance supplies with your industrial output.
Is this all correct?
What happens with a ship overhaul? It appears that the clock is rewound a bit each day in overhaul. The costs were unclear to me. Can you predict ahead of time how long the overhaul will take? The other question I am completely unsure of is what happens to the crew and their training. Do the crew remain with the ship? Or does the trained crew go into the crew pool? If they go into the crew pool, do they come out trained LIFO? Or does their training just raise the average training of the pool?