gas detector repair