I need to control a leak in my 500 gallon koi pond. I will need to
seal some rocks onto the rubber liner. What products would not
endanger the 5 mature koi and 2 frogs present in the pond? Thanks.