Possible gas odor reported at Shenkman Hall

Dispatch, can you respond to Shankman Hall to check for a possible smell of gas? We had a call from the housekeeping manager at that location saying she believes she possibly smells gas on the dining level of Shankman Hall.