Wenns nach Gas riecht, würde ich so schnell wie möglich das Haus verlassen.

Solange kein Leck im System ist, darf es nicht nach Gas riechen... also nein

PS: Der markante Gasgeruch wird extra begefügt, dass man eben solche Lecks bemerkt und rechtzeitig handeln kann.