What kind of experience have RVers had with using their "tip-outs" on the playa? On a relatively new RV, are the tip-outs reasonably sealed when in use, or does using them create a nightmare for extra (beyond the normal) dust penetration?