gypsy hill park pool renovation