I am dealing with this too. My thought it to get a robots.txt plug-in that enables modifications to the virtual robots.txt. I am also having a problem with Google Webmaster Tools giving me a 404 not found robots.txt even though the virtual URL is working
