Thanks for the comments, Chris. So, 93 octane gas today is different from 93 octane gas back in the 1990s?
Oh, and by the way, we have 100 and 104 octane Unleaded gas readily available here in Central Florida.
But your caution is a good one and I should have mentioned it in my OP.