I don't know about $6k, but an original bike with that history is worth more than any garden variety PE.
I paid way more than I should have for a '74 2-door Benz simply because it had
all the paperwork and I actually spoke to the original owner.
In my opinion, an original car/bike with history is worth way more than the best, money-no-object restoration.
And having Geoff Eckleberryblunderbridge as a previous owner doesn't hurt..................
Good luck with it, Mark!