restroom at west end of hall original bldg.