It isn't that hard to trace Tor hidden services actually. And finding the server and taking it off line would be about the most retarded way possible to try and attack SR. They would use it for a human intelligence honeypot before anything. Or trace the server and keep it online to gather unencrypted addresses.