That museum sounds like a cool place. Pity the americans never properly appreciated the Amiga though.
I'm not sure machines go for quite as much as the prices above. I got my AT A1200 for only 35 quid and most unexpanded machines go for that or less.
A500's don't seem to fetch much either, 10-15 quid seems to be the going rate.