There are currently 18 similar machines listed on eBay. They range in asking prices from $3,400.00 to $21,000.00. That's quite a range. I would look it over closely, and ask to see it run. Like many high end machines if it has problems parts are extremely expensive if not unobtainable.
The repaint does give me pause. Shops selling off equipment don't usually take the time and effort to go through that process. It's usually done by sellers who paid a low enough initial price to absorb the expense in to increase the profit margin. They also rarely have any pertinent history of the machines. They have no idea whether it has been crashed or run into the ground.
It's an interesting machine, but already priced above what I would be willing to pay. It's your money and your risk. Just be sure it's an intact working machine, not a boat anchor with a shiny paint job.