This is a classic theory vs reality proposition. To the OP's credit, he sort of alluded to that when mentioning the financial support remaining. That said, in theory, I would love to find "a real coach" to replace Mario, but as several posters have pointed out, who exactly do we replace him with? Every single top dog coach out there right now has a couple warts at least and most of those warts are of the genital variety, spread via the portal and NIL. Kirby Smart is about to lose 30% of his roster. Nick Saban quit over this and so did Larrañaga (albeit different sport). Dabo the díldó is a flat Earther and doesn't think the portal is real. All this begs the question - Who exactly would you replace Mario with?
Every single year, there are football fans who are salivating as the season ends, waiting for management to fire their coach because he sucks. It is often celebrated. I am guilty of it. When Al Golden was here, I couldn't wait to get rid of him, especially in light of his buddy Onofrio remaining on the staff. Here's the thing though - you don't know that what you're getting is an improvement, especially in light of today's current climate with NIL and the portal. Long gone are the days of stealing away a recruit from a rival, just to bury him on your depth chart in an effort to prevent said player from beating you. There are no more transfer penalties. Because of these new variables, how do we even know who the best coaches really are right now, given the small sample size that we've had under these new non-rules? It seems obvious to me at this point that the "winners" are simply the schools with the biggest NIL budgets, regardless of corching. James Franklin sucks IMO, yet he's in the Final Four. Marcus Freeman? Eh, maybe, maybe not. Ryan Day is a goober who is hated by the OSU alumni. Sarkisian? He's a drunk with a lot of talent on his team. My point in listing those four coaches isn't to pick them apart (although I kinda just did), it's to shine a light on these are the top 4 coaches this year according to playoff results and I don't think I want any of them over Mario. Maybe Sark? Maybe Freeman, maybe? The other two? No thanks.
Firing the coach is the easy part. Replacing him is significantly more difficult. Keep Mario. Cross fingers. Mario has shown through his actions that he is very self-aware, at least retrospectively. He's turned over the secondary room in less than three weeks. He dumped the Cajun dunce. He got rid of Gattis. Dawson seems to be a great hire. Let's hope third time is the charm for the DC.
I'm finna get dragged for this, but that's ok. Throw your stones at me CiS.