No but all major c-stores, marathon included, uses Veeder root to measure tank levels and environmentals. Marathon won’t pay out until a lawsuit drops, but assuming the fault is on their side they will gladly buy a brand new car if your choice and settle out of the gate.
I see this all the time and have had to compile the data for sites multiple times.