So today I was rear-ended in traffic. Was able to drive car away but there is significant rear damage and the battery pack may have been breached. Jaguar dealer told me to take the car to a body shop. I can’t imagine a body shop has any experience with significant ipace repairs, especially battery repair. Thoughts as to how I might proceed?