Robert_Charlton - 1:35 am on Sep 8, 2012 (gmt 0)

remove them from robots.txt

The issues with X-Robots noindex are exactly parallel to the issues with the meta robots noindex currently being discussed in detail in this thread...

Pages are indexed even after blocking in robots.txt
http://www.webmasterworld.com/google/4490125.htm [webmasterworld.com]

Yes, you must remove the pages from robots.txt. If you do that and use X-Robots noindex, you do not need to use the WMT removal tool.