A retired couple has just bought a retirement home with a pier on a large lake. In this case, What do the retirees' water rights extend to ________.