Tie breakers, as I understand it, were for First Place ONLY and are no longer in effect. We don't know if there's a tie breaker for 12th, but there was at least one tie for 17th in the past when that was the Semis cut off and both corps performed on Friday.
Odds of a tie when we go to the ten-thousandth of a point are minimal, I'll believe it when I see it. Instead, hopefully DCI will LET US SEE THE NON-FINALIST SHOWS AFTER THE SEASON and it won't matter in the long run.