Sorry about the oversight.
I paid $3000 about 3 years ago, buying it for my wife. She put about maybe 200 miles on it. In that time, I put on the PWK carb and the decompressor mod for the head.
I would like to get $3000. Make an offer if you think that is too expensive.
Side note: I am told the on-board computer runs by a 9 volt battery so that will get replaced this weekend. I should have read about it in the massive Gasser shop manual EVERYBODY has.