They may rest covered, but more likely that's an estimate of when they might be done. Some ribs will take longer than others. Remember, you're turning in ribs at 12:30, so they are going in the box at say 12:15 at the earliest, so with slicing, boxing, etc, 11:30 wouldn't be the end of the world.