I found a shop willing to work on it, but they only have one guy familiar with VWs. So, it’s scheduled for next week and they’ll have it for a few days. At $130/hr it won’t be cheap, but worth it. Besides, I’ll use the down time to get some other issues resolved myself. (I’ve been a VDub guy since the ’70s and can do the motor work)