Re: geocoding 800 addresses from text file

You can use ontok.com's free geocoding service.
They have REST, SOAP, and Javascript APIs so you can choose which one
best fits your purpose.

Eric Angel
http://www.digital-seven.net