Thanks for the tip!
FWIW — I’ve been told that the green Marine Sta-bil is better than the red regular Sta-bil by a friend who is more mechanical minded than me. It costs a little more than the regular red, but he says it’s worth it. I get it at Wal-Mart.