My car is now being worked on. They tell me that the car is leaking through the top brake light and some parts are being ordered. I'll update about what they finally did when it's put back together.
I asked if they ordered new carpet and they seemed perplexed! I'll advise on that too.
