I am not sure what kind of leak sealant he used I believe it was for automotive, he is not a hvac person, I think he just bought a recharge kit with a leak sealant. Either way it is a mess! Glad I didn;t do any of the work!