Just what I thought you might say!
I was advised by our local mechanic not to let them touch mine, but just to push for compensation. makes me sick just thinking what they might do to my car after what happened to yours.
Anyway try to forget it for now and have a fantastic holiday.