Who here has had a vehicle keyed?

In 2007, I was stationed in Maryland and lived in an apartment complex about 30 miles from post. I chose to live that far away because I was trying to get away from the dirtbags, but I apparently didn't go far enough. My girlfriend at the time had an altercation with a certain 'undesirable' one day in the winter, and subsequently both of our vehicles were vandalized. I never did have any proof that it was that guy, but no one else had any reason to do it. The local police knew the guy very well. She had glue or something (hopefully it was glue) smeared on her driver's side window. A month or so later, someone keyed my Tacoma, which I had bought brand new only 4-5 months earlier.

At the time, I temporarily painted it with touch-up paint just so it didn't stand out so bad. It pissed me off every time I saw it. I got the insurance money for it, though I had a $500 deductible. But then I got orders to go to Korea and never got around to getting it fixed. When I got back, I got a local estimate and it was about $1000. I couldn't stand the thought of paying that kind of money for a scratch that functionally meant nothing.

That happened three years ago, and it still gets to me. Fortunately it's on the passenger side, so I don't typically see it. It goes from the front fender near the headlight all the way back into the middle of the passenger door. Every now and then I consider the possibility of getting it fixed.

I have the money to do it, but income is low and about to get lower. I'm still in the Reserves until spring, but I'm getting ready to go back to school full time.

What do you guys think? Fix or let it go?