Badunit:
Thanks, exactly what I needed to know. The only place I could find the gasket was at the dealers and they are really proud of it; $22 and change. Not available to the aftermarket yet, at least in this area. Suspect it will be about half that price when available aftermarket.
Thanks again.