You CAN also use pool epoxy--it can be applied underwater. It will patch the leak, if that's your goal, but it will be ugly and grey.