Am also wondering if there are special tools needed that only a pool construction/repair person might have and not the average Joe?