 And just a tragic situation all the way around the shooter, the 20 year old. I'm not going to really spend a lot of time mentioning his name. He doesn't need any more press, but he ended up dying in the incident taken out by snipers that were on the roof. So, you know, I'm glad that those men were there to be able to pull the trigger.