lucy24 - 10:09 pm on Nov 9, 2012 (gmt 0)
I also used the noindex tag as extra insurance just in case the robots.txt file somehow accidentally got deleted or was corrupted
You would have been better off if it had been deleted, because g### would have seen the noindex tag. The point of the long discussion in shaddows's linked thread is that blocking a page in robots.txt does not prevent it from being indexed. It only prevents its content from being displayed.
Read the thread and you will see you are not the only one who had trouble wrapping their brain around this idea ;)
robots.txt + noindex is NOT the same as belt + suspenders