Even though a restraining order might not work or might escalate the problem I would still talk to authorities. With the authorities aware of the situation, if further trouble happens it will be easier to get legal justice brought on the guy. A couple other tips. As other said, stay in groups of people you trust. As well, keep aware of your surroundings while out and about. If he does try something you don't want to be caught by surprise. Another thing: bullies are normally cowards - they may not attack directly. Watch your back. If you eat in a public lunchroom keep an eye on your food at all times. I don't mean to sound dire, but it should be kept in mind.