A Diamond Pool Repair