https://poolhj.blogspot.com/2022/05/how-to-patch-pool-float.html