I would be pretty pissed off if that left me with a bill to fix. Hopefully they'll pick up the tab.
A few months ago a local gas station put diesel into their gas dispenser. I don't know whose fault it was, the delivery/truck driver or the gas station but we had a car come into our shop needing a new gas tank, fuel pumps, fuel lines, filter, injectors, etc etc. The gas station footed the bill along with 30+ more cars (not all at our shop) that had visited the same station.