Hotel Paso Del Norte’s Dome Bar Has Been Restored