Update - all fixed. It took 2 weeks to get the police report, another week for the other drivers insurance company to contact their driver, then 3 weeks in the body shop. The car was all done, then they drove it and it rattled. They hadn't noticed the exhaust and muffler were bent, so got those replaced too. Everything OEM parts. Good as new. Also, I had them do an oil change, they had to remove the rounded off oil drain bolt, LOL. The car on a lift, and a welder, I am sure it was no big deal for them. At the next oil change, super carefully remove the oil drain bolt and discard, fit a Fumoto oil drain valve.