Today at a local Shell station, I noticed a new ingredient, INVIGORATE in the Shell gas. I think its an ethanol tradename. Anyone know for sure? I need to go back an check my manual but I thought I remembered seeing that ANY Ethanol in our engines was a BAD thing? True or False?