“There was a report of a smell of gas. It has not been determined what the smell is yet. There is no gas in Old Main,” wrote ...