I posted above that my car always runs good on Costco 87. I didn't think to mention the one time I used the high test (thought it is 93 instead of 91). It ran "OK". Rather surprised. Never bought it again. Like the 87 better. Now Costco gas here is supplied by Marathon whose gasoline, over the...