I am about to change the diff oil on my '02 DII and was wondering what you guys do with the drain plugs? The shop manual says to use Loctite 290, but at the dealer they said their service guys always use Teflon tape so there's no leaks. Any thoughts?