After getting estimates for opening my pool (~$500 including taking off cover, removing plugs, reconnecting heater & pump, initial vacuuming, and initial shock with chlorine), I think I'm going to do this myself. One question I have is what is the proper type of lubricant for the DE filter and pump o-rings? Is WD-40 appropriate or should I use a silicone based product?