$3500 repaint eh, LOL. Actually, if you are looking to have that done you should give Randy a ring. He's a TR member who has done some phenomenal jobs on various people's cars whom I have referred to him. He actually painted the MK3 from our last cover shoot. (727) 538-5305
If you do end up painting it at some point, keep us in mind as I wouldnt mind doing an expose on whats involved with painting a car etc...