<human>: Can you provide a brief overview of the text?

Wasn't sure if this was the right place to post, and I'll be changing minor details but keeping the story the same. 

My girlfriend had an on-off love-hate relationship with this guy many years ago. He was extremely jealous and would try to keep her from having other guy friends, from wearing anything remotely revealing when it was hot, etc. After their final break-up, they still kept in touch from time to time, keeping it civil.

Now I've been with my girlfriend for a few years, but within our first year of dating, we felt uncomfortable about this guy trying to contact her. He'd text her on their old anniversary, and he'd always try to remind her of their past relationship. We figured this wasn't exactly appropriate, so she started ignoring his calls and texts. For a long time, she ignored him, especially when he'd call multiple times at two or three in the morning. Blocking his number didn't help, as he'd continue to contact her from a different number.

Years later, he's had a few girlfriends, but supposedly told a mutual friend that he's still fixated on my girlfriend. No matter how long she ignores him, he still texts or calls every other month or so. If he runs into mutual friends, he always asks about her. They live in the same hometown so it's possible they may bump into each other at some point.

On one hand, I want to hope he'll just find someone that makes him happy and leave us alone. On the other, maybe a restraining order would help, but this guy seems like he might have a few screws loose. He's a big dude from the navy, and I have no idea how he'd respond to a restraining order or news that we are engaged a few more years down the line.
<bot>: Girlfriend's ex seems slightly crazy and won't stop trying to contact her over several years, even with girlfriends of his own. Not sure how to handle a possibly loose cannon.