I've been pulling travel trailers for years and it just came to me that I don't know whether I should or shouldn't be greasing the trailer ball. If I should be, what is the recommended procedure and type grease (oil)? If I shouldn't be, is there a material that is used to separate the ball from the hitch or should both be just cleaned?