Isn't red rocks city of denver property anyway?