UPDATED — Beach pool repairs could top $200k