Glenn the plumber knows best. His plumbing advice is always right on the leak, or drip or any other "down sloped" catastrophe. The best part is he is retired....and usually answers right back.
I would follow his advice like water flowin through a pipe, it will put the fire out.
I thought I lost my marbles once....turns out they where just rollin down the hill. I collected them at the bottom, they where out of round....go figure.