Well, I've built a PDC that contains a bunch of hangers, and this lets me overhaul, but I still can figure out how to repair them when they have no maintenance bays/supplies. I can't repair them individually as ships, and I can't seem to find a way to get the PDC to repair them. What am I missing?