Thats about right. I have been seeing some go at $3,500 quite a few times in the last year.
Those are the same ones I have. But they still need to get some parts made for them. I'm still looking for the original metering rod assemblies for the front carb. 400 bucks to have them re made.