Most manuals are available from Ingersoll-Rand, I am not sure they sell a repair manual. however they do have owner and parts manual for the pumps that show breakdown of the pump and can be very handy for reference when working on one. Contact your nearest IR air center and ask for a copy of the manual, and most times they can provide you a copy for little or no cost.