overhauls too? That's nice!
And it speed up embarking/disembarking troops and cargos if a ship captain, right?
EDIT, some hours after. Is the industry bonus also used by salvagers and not only by gate creators? That would be nice as we don't have a need for that much gate creators ships.