Hello to those in the know. I have what I think will be a quick question. The electrician who hooked up my Circupool RJ 60+ used a #2AWG bare copper wire instead of #8 and connected it directly to the heater instead of the bonding wire for either the pump or heater. Is this OK?