I have a great plan since they can't give his info to the authorities because its not a federal offense unless 10k USD in damages result. (which is a huge number to reach on anything but a massive DDoS) Just post on all the server homepages all his info they have tracked down and watch how fast it stops. I'm sure there are plenty of computer savvy people like who would love a shot at whoever is ruining their free time