That's very bad news, Bob.
You've made quite an effort to maintain that vehicle and it somewhat of a kick in the stomach when someone else is careless with it.
I agree that the time and money involved is not worth the effort.
I'll try to resist making comments on who should pay for such damage..........