A 12.5m crater doesn’t sound that big. Sounds like what you get from a bomb in a war zone. Bad if you happen to be right next to it, but If you’re a few blocks away you might have shattered windows, but no structural damage.
Where did you get the numbers btw? I took a quick look and couldn’t find any details on how big the asteroid was.























“Dismiss” is the wrong word to use in that title. Yes, it can mean “fire”, but it can also mean “ignore”. It seems like this is a case where you want to be clear which interpretation you mean.