I discovered a leak in my 2013 Hot Springs Grandee spa at the step light. I ordered the 71830 replacement lens with gasket. The instructions say to use dish washing liquid as a lubricant. I was wondering if Aladdin Magic Lube might be a better choice. Thoughts? Thanks for your help TFP.