My dirty glove recommendation was only half in just. A mild abrasive, rubbing compound, embedded in a cheap leather glove would quickly wear away the finish in the places a gun normally wears. The vinegar wash would complete the look.
Parents who say they have good kids..Usually don't!