I'm not sure how to get a Save As dialog box for a .txt file, but you could change everything to .zip and just have the user unzip the file to get to the .txt file. Browsers won't be able to display the .zip file, so they'll more than likely just get a Save As dialog box. That's what I do on my site. Just a suggestion.