And then moving Oklahoma St to the 6 when Texas/Oklahoma leave?
That's basically the same as Option 3, but required a team to switch divisions when they leave - seems like it would be easier to just have Oklahoma in the "9" now and OK State in the "6"