lucy24 - 12:36 am on Apr 11, 2012 (gmt 0)

Oh, and going back to the OP, plus his later explanation of why robots.txt won't cut it:

No matter what approach you take, if you want the pages to disappear right away, you will have to go into gwt and remove them manually. The "noindex" tag by itself won't make search engines delete the file from existing indexes; nothing will change until the next time they come looking for the file.