CORAL_HALL missing in Michigan