NGEE: Great follow-up to an AWESOME DIY!

Quick question about using gasket sealer...RB recommends using sealant around the pressurization ports:
http://www.rbturbo.com/products/accessories/rbpcv

Has anyone else used ANY type of sealant here or around the rest of the gasket at all?