Myself I'd consider a gun that possibly started life at .719 bore diameter and is now .740 to be excessively honed...