Update: Looks like, Brian Eno's DX7 went for 2000 ukp and the Jellinghaus DX7 programmer for 1500 ukp.
Auction is on now. Runs from Nov 5 to this Saturday, Nov 12. Title link takes you there. Once there, click on the VEMIA link with the auction hammer on the left. There is a spreadsheet you can download. I found it easier to browse searching for "synth" when open. There's a Synthi in there amongst other goodies. : )

Update via the comment:
"HOLY SHIT HOLY SHIT HOLY SHIT! BRIAN ENO'S PERSONAL DX7 AND PROGRAMMER ARE FOR SALE!"
Doh, I probably should have mentioned that. Sorry. : ) Oh and yes, that is
Dave's Packrat in the commic.