“fully restored” can be difficult to nail down without being a lot more specific on details but expect those to be in the $6k-$9k range. However that’s also a pretty specialized and limited market.
I agree with the comments above that the general range for a nice copy is $4200-$5000. In that range there should be no slam ramp wear and in great shape. For an average game, $2700-$3300 or so.