Is this where the old red ‘dorms’ used to be? This looks different.