I suspect the final price was a troll. Is any collector REALLY going to pay almost 10-large for an Amiga 1000, irrespective of its condition?
Well a loose C65 can go for $20,000 so yes I think so.
As a warranty repair it is like buying display stock which was packed away in less than a year. Amiga's have become too slow to do anything other than playing Rocket Ranger (as is correct) so now that people have stopped deluding themselves an A4000 + PPC = bye bye modern PC for daily use the Amiga 1000 is going to be the most valuable of all as it was the first and best ergonomics of all IMO.