How important is it to use only a "non detergent" Dino lubricating oil in pressure washer and air compressor pumps? I would like to use a synthetic oil, but the manufacture states oils with detergents will cause carbon build up on the pump pistons. Any imput? Is this true or not?