I have a hard time remembering which # of match requirement rule applies to which qualification, but don't you have to wrestle 17 matches to qualify a spot for your conference?
If so, the ACC is probably only looking at only 1 auto qualifier spot for 125. So unless Fausz beats Mueller, Fausz would need some help making the tourney.
Assuming wrestlestat.com is correct, he's only wrested 7 matches @ 125 this year. His best win is over Moisey of Nebraska. If that's his best win and he ends the season with a maximum of 11 matches at 125, is that enough to still get him in?