No, I'm sure the plumber turned the gas back on himself. Since I'm not
a plumber I just wanted to make sure it wasn't more dangerous than it
seems (especially with the gas company being so adamant about doing it
themselves.).

Thanks for all your responses!!