Would any of you folks care to tell me what the tip diameter of a Marauder degas tool is? Have lathe, will turn. Thanks, Pat