Any gas fitters know what this is?

I think it's a gas leak detector, but if so, how does it work. What is the coil for on the outside?
It also has a red light on it and is making a muted buzzing noise which doesn't seem right.
Thanks.

To view the link you have to Register or Login