technician a says that most bosch cr high pressure pumps are lubricated with diesel fuel. technician b says that caterpillar cr high pressure pumps are lubricated with engine oil. who is correct?