For what's it worth...from the Black Diamond (they are a Bibler Dealer)website....
Do not dry clean or machine wash your tent. If lightly soiled, the floor and exterior walls can be sponged clean with warm water and, if necessary, Mirazyme cleaner (available from BD Mail Order).Never use detergents or liquids of any kind as they may cause the fabric to lose waterproofness. K2R spot remover can be used on the outside of the ToddTex™ fabric to remove grease or stains.
ToddTex™ is a three layer PTFE laminate. Like similar fabrics, it is important to avoid contamination of the PTFE film. Taking care to keep your tent clean and away from oils, grease, and solvents, including sunscreens and mosquito repellent, will be rewarded with years of good service. In order to protect the fabric, remove all dirt and debris from inside the tent before storing.
To Wash: If it becomes necessary to wash the entire tent, be sure to avoid hot water, bleach, dishwashing liquid, or any type of liquid detergents. Hand wash in a bathtub using only cool water and a product called Mirazyme, made by McNett Corp. This wash-in product does a wonderful job of cleaning, eliminating odor, and even helps to remove mildew. It is available directly from us for $4.95 (2oz bottle). Be sure your tent is totally dry before putting it away. This may take 24 hours or more.
DO NOT SPRAY OR WASH YOUR TENT WITH ANY WATER REPELLENTS OR CLEANING AGENTS OTHER THAN THOSE SUPPLIED BY OR RECOMMENDED BY BIBLER TENTS.