Exit numbering at the northeast mixmaster is stupid and I have no idea why. I-35 should have retained its mileage number, and I-235 should have Exit 14. But they're ALL signed with I-80's number, so Exit 137A refers to EB 235 from WB/EB 80, but also EB 80 from 35 and 235.
Also, if I change the University exit to 72C, does that mean the west mixmaster (80/235) needs to be 72A instead of just 72?