Just to add to what Zach said, since we don't see this behavior here; its possible it is being added in again by the parent-level settings in IIS. So, before removing the WebDAV Publishing Module you'll want to confirm none of your other IIS sites are leveraging that functionality independent of SmarterMail.
Kyle Kerst
Lead Internal Network/System Administrator
SmarterTools Inc.
smartertools.com