[Hal]

There is nothing ANYONE can do. Technically i can go and use that name.
Maybe you should try talking to him, in a calm and mature manner. And maybe suggest some other names to use, or maybe make it easier on yourself and change YOUR server name. If YOU change it, then you don't have to worry about him anymore.