If he is ordered to stay away and he doesn’t, you call the police and he will be arrested. If you don’t get a restraining order, then he won’t be arrested unless he commits a crime.
Involving some other guy to make threats may actually make things worse.