Hello, we are having our rectangular pool renovated, which includes the addition of an infinity edge that is partially along a short and a long edge - meeting at the same corner (creating a right angled V shape). The pool is approximately 4.5m by 9.5m. On the opposite side of the 4.5m edge to...