I found the post to be a useful introduction to what a robots.txt file is and isn't. I'd read some forum posts etc about the "SEO benefits" so it's good to have that one cleared up.

The Purpose Of Robots.txt