How much money does Auburn really have?