Getting a new phone number is free regardless. I thought about getting a new phone number, and it's a little less drastic, but it's also very iffy.

See, we have a bunch of mutual friends still (though she's gradually losing many), and it'd be very simple for her to take another friend's phone off of them and find my new number. Not to mention it'd be a lot easier if I didn't have this new number registered with my bank and my job, so I'd have to change all of that...

Changing the number just seems like a lot of work, considering it's the most likely to fail.

If she texts again, I'll send her a message saying "The number you have contacted is no longer in service." We'll know right away if she "gets it" or not. And if she doesn't, THEN we'll have to get a restraining order/new phone.