Let me guess, she filled up at a BP station? Those stations are notorious for having green handled nozzles for regular gas. Everywhere else green nozzle = diesel fuel. The marketing bozo who thought that up should be taken out and hung by his private parts. Back when BP was Amoco, the nozzles were black, white, and gold, depending upon the grade. Switching one of the nozzles to green to show how earth friendly the company is shows nothing more than stupidity.
Glad that everything worked out. Replacing an engine is an expensive proposition.