 He has a primary. That primary is August 6th. He's up by 25 points. President Trump has endorsed Mike Rogers. That's a resource race. It's a 40-40 race right now. Whoever gets the most money in Michigan, on top of having Trump winning it by a couple of points, that's going to be key to Mike Rogers' victory.