Heh, that is a steal. They are great machines. Looks updated with 4 current ranges instead of 3.
Still great machines after 30+ years. Simple and reliable. AC/DC TIG, Arc.
I have seen probably a dozen more on ebay. Some at $200 that did not sell, others have gone for $800-$1000.
If you can find one local, they can be a great deal. At 750 lbs, shipping cost will kill you.
I think my back still hurts from unloading it from my trailer. Was on a skid. Had to slide to back of trailer to get engine hoist on it. Ended up using a crowbar to inch it along as it refused to move. Then hoist with the beast on it refused to roll on rough concrete driveway.
New here most pedals new are around £200 so thats about $400 and a cheap parweld pump/water cooler sets you back about £350 or $700, obviously thats new, im sure you can get them second hand