Hi, we just installed a new in ground vinyl liner pool. We had a stamped concrete patio installed this past week. The guys came to seal the concrete last weekend and we think sealant dripped down edge of pool on to the liner. The decorative border on the liner where we think sealant got on to, took away the pattern - about 10 inches wide. Does anyone know that sealant can discolor/damage vinyl liners? We spent a ton of money on this pool and now this happens.