I've seen the tiebreaking procedures for the Big 12 tournament; and
things make sense for the most part. However, there is something
when 3+ teams from one division are tied that this page does not
answer. I was wondering if anyone here knew how to handle it.

Thought I could use this years' standings and what if, but cannot
find something that will work nice. Thus, suppose 2 years from now,
Kansas, K-State and Mizzou finish 11-5 in the conference. Also
suppose that KU wins in Columbia, while the other 5 games pairing the
trio is determined by the home team. Making up some division records
to finish we have the following

TEAM Head-to-head Division
Kansas 3-1 8-2
Kansas State 2-2 5-5
Mizzou 1-3 6-4.

Clearly KU is the best of the 3 (see tiebreaker on Big 12 website as
to why). But who's 2nd? Do we use this round robin to break ALL the
ties? Or do we just seed KU and start all over for #2 (in which case
we'd have to use the 2nd tiebreaker, division record, and put Mizzou
in #2)?