Problems with ethanol in gas usually happen over a longer time, not within a single tank of gas. That pump was probably faulty to begin with. I would recommend lower ethanol fuel for older vehicles though, so it’s not bad advice. But it isn’t like pure acid that will dissolve the car within no time.