My question involves restraining orders in the State of: Texas

My girlfriend has a guy who will absolutely not leave her alone. He calls her house 10+ times per day, at all hours (last call was at 3:30am this morning). She doesn't answer, but he keeps calling. He's left multiple messages saying he doesn't care if she's single, engaged, married, etc., he will NEVER leave her alone until she marries him (she's never even met the guy). In addition, he sends her postal mail almost every day. Twice, the police have found him in a tree at her house. Both times, he claimed to be her husband and had "forgotten" his key. He was arrested the second time, but was released after a certain phone call from his 'govenment-agency' employer (He's since been fired because of his actions). He also leaves threats on phone messages saying he's going to come to her house and try and see her (He lives in Virginia, she lives in Texas). He has not threatened any sort of bodily harm, but she is still concerned for her and her children's safety. Is there anything she can do? She spoke to an attorney about a restraining order, but was advised against it, as she would have to disclose too much information on the order (she'd have to specify locations he could not be, which would give him the locations of her work, kids' schools, etc.). HELP!