Operational experience of the gas gain monitoring system of the CMS RPC muon detectors