Manuals and specifications for brands Ingersoll-Rand Marine Equipment Marine Instruments"