Sure, 'cause when you call the company they'll turn off the gas and charge helluva lot of money to have it fixed, so just ignore it
Gas trouble is pretty rare here since gas plumbing is about the most restricted trade in building here, but the gas incidents that happen are usually blamed on incompetent DIYers or unskilled laborers who mess with pipes. Like the fatal leak that blew up an entire apartment building in 2000... construction worker saw the need to use an angle grinder to cut through a live gas line. Or another in 2005 that almost ruined a nice old house... improper use of bottled gas. Or the guy who tried to disconnect his own gas range and blew himself up...
