There’s a lot of bad reporting going on, but I think it’s 7000+ net votes. Prosser votes minus Klopp votes = 7000+. But I could be wrong.
Brett Baier says it was 7500 net.