Ocio Marco che non era mica l'US Navy!
I manutentori sulle navi militari italiane erano e sono i marinai stessi, tanto più durante la guerra!
A meno di
grossi interventi all'armamento, ai motori, a parti idrauliche o riparazioni allo scafo, tutto il resto se lo sciroppava il bordo (naturalmente la bassa forza)!
Al netto, sempre naturalmente, delle somme che venivano stanziate per il lavoro extra dei marinai e che si dividevano solo ufficiali e sottufficiali (nel tuo caso solo sottuficiali)!
Saluti,