 Greg Lopez, congressman-elect for the 4th Congressional District, be heading to Washington. His estimate is right after that Independence Day holiday, and we'll see how that plays out. Final question, though, Greg. You've been involved in a lot of races. You've been the mayor of Parker. You've had some ups and downs. Is this the highlight of your political career?