Interesting. I think you are right. Somebody out there linked via the server name, and Google found it. I think you are correct that both servers need a robots.txt in their root directory too.