he woke up to the smell of GAS ... so he turned on a light??
did we forget why gas has an odor?? (it’s naturally odorless, if you didn’t know)
IIRC, commercial natural gas is infused with a garlic additive.