I say it is worth finding the RIGHT repair person and get her fixed properly...
my sister just went through this with her vintage VW...boiled down the repair guy did not know squat about VW's..so she had to find a new place to take it...runs great now...