I'm assuming putting the url's into the robots.txt file will stop the crawling of the url's,

So what would be the best way to get them removed > url removal tool in WMT?

or leave them to die off and fall out the index if google couldn't crawl them?