 overall spend went to a specific candidate. It's a little hard to track, but certainly. So there's a massive amount of external money there as well. Brad Wilson, he spent $4.4 million on the campaign. And Jason Walton, a great guy. I actually met him, and I really actually liked his messaging as well. I supported Trent. But he spent $2.6 million.