Personally, and I'm no gasman, I wouldn't allow any gas leak to remain. I suppose a difference in the readings of the fancy gadget (a manometer I think it's called) they use to test the gas pressure could be labelled as acceptable by someone who knows but I would be very concerned. The last time...