A fellow trainer had a student who experienced a situation identical to yours.

The engine was not started. I don't think the key was even turned on.

The shop dumped the fuel and flushed.

It worked out just fine. Login to read more.