🚀 go-pugleaf

References: <2591@jade.BERKELEY.EDU>

	I wouldn't reccommend using diesel fuel on weapons you intend 
	to take to the field.  We used to use diesel to clean tank 
	weapons (4 pistols, 2 submachine guns, 3 machine guns, and the
	main gun)...a lot of weaponry, and not much time.  Diesel
	cleans well, and leaves a shine that pleases officers, but...
	that shine came from a thin film of diesel that is near 
	impossible to remove, and to which every speck of dirt and
	dust will stick; eventually creating a gummy substance that
	quickly incapacitates a weapon.