OK, I'll start off. Here are some items I have purchased in the last two years:
HP-71B, v1BBBB reasonable condition with HP-IL: £37.00
HP-85B VGC in flight case, printer works, tape drv untested, ROM drawer with 00085-15005 Advanced Prgm, 98151A Prgm Development, 00085-15007 Assembler. £170
HP-48SX, keyboard a bit scratched, with pouch, QSG, Eq lib & 128k card, £35
HP-48SX, like new in box with manuals (box a little bit tatty), £30
HP-11C good condition, with pouch no manual, £30
HP-28S mint in box with manuals, £45
HP-48GX, in box with manuals, TOPCON FC-48GX Survey Card + manuals, TDS 256k RAM card, serial cable. £74
HP-45 in plastic case with manual, quick guide, pouch & charger £37
HP-16C with HP 92169A black leather pouch and manual £62
I think these prices are not too far off from the Museum's list.
Regards
Bart
Edited to fix some spelling.
Edited: 18 June 2012, 5:26 a.m.