For your future reference, and for others as well, here's a site with a web interface to lots of very interesting and useful tools:

http://www.dnsstuff.com