I was recently told when a plumber cut off a dead leg in our gas pipework
that we had a small (but allowable) leak in our system.

Clearly he wasn't wild about chasing the leak but I'd rather there wasn't
one. Before I start hunting, what's the acceptable leak level in mbar/min?

Tim