repair hours at a public facility.