Arnett Hotel (Boulder, Colo.).