SmarterMail queries DNS servers directly, you can change the target DNS servers in the system settings. I'd recommend spinning up a local DNS server that you point SM to, that would give you a lot more control over DNS queries, even things you wouldnt be able to do with the HOSTS file (TXT, MX records)
Matt Petty
Senior Software Developer
SmarterTools Inc.
www.smartertools.com