Sorry you guys.....I forgot to put in the price.
$4,000 and I'll split the shipping. Original box, the so-called "manual", and of course a big, big double box. Original bog standard power cord. I did not see a big difference when switching power cords.
Mark