Is not hiring Mario the biggest mistake in Auburn history?