I recently spoke to a local gunsmith and he suggested teflon coating in addition to the stainless barrel. Anyone heard of this or done it? Sounds like a good idea, though I have no cost reference yet.