I'm thinking $1k for the Checkpoint is about the limit. Check the ramp for cracks because you can't find replacements.
I was lucky and found a routed Checkpoint in great shape for $300. It was a divorce sale, and I admit I was just lucky to get such a good price. If this one is HUO the $1k might be a fair price. It isn't the most thrilling game in the world but it looks really sweet with LEDs all in it.