I think Lando has got it pretty spot on, although I used to watch prices like a hawk a couple of years back and don't know what they're like now.
The only thing that I think maybe a little high is the Cyberstorm (I'm assuming its a MKII?)
And maybe you could get more for the Picasso?
[If sold on eBay, its amazing what could happen 'on the day' so to speak]
Good luck.
