Should I lubricate the gas valves on a Holiday stove?