thanks...we have never changed the sand, and have been here 15 yrs...assume it is the proper sand for the filter. Does anyone know approx how much new lateral thingy costs?