Welcome to WebmasterWorld Guest from 220.127.116.11
Forum Moderators: goodroi
I think that should work.. haven't tested it myself though..
hope that helps.
On the other hand if you are allowing an obscure, unknown SE to spider and do not want to reveal that info... I don't have any simple suggestions. Robots.txt, by definition, should be available to any and all requests.