Are we using the Holiday Inn Cherry Creek still? One of our guys got beat up / mugged in the parking lot there in early April. I heard we were going to move out because of it but never heard if we actually did.