I'm late seeing this thread, but have to say I'm so very sorry this happened to you and your sweet pet, but glad it turned out okay in the end.
Years ago, someone deliberately hit and killed our dog when my older brother was out jogging with him. Our dog was not on the street, so the hit had nothing to do with that. The driver just hit our dog and sped off. It was years before I was ready for another pet. The psychological impact of something like that is more than non-pet owners can imagine.
Getting back to your incident, I'm glad you decided to file a report.