 And I did have the opportunity to wish him well in his recovery. As it relates to the security here in Milwaukee for the RNC, we still felt pretty confident. Our team in the Milwaukee Police Department had worked with the Secret Service on a security plan for 18 months. And by definition, the security event was an NSSE, meaning a National Special Security Event. It's the highest designation of such an event in the country. So we felt pretty confident.