This is my own 512k ED, bought new in Athens in 1987, even the floppy protector is original:
(M0001D, platinum, with ED lettering, rear 512k bucket, front Plus faceplate)
Price was 215.000 drachmas, that's about 3900 euros adjusted for (huge 1987-2000) inflation.
...and a bonus 6128 as I...