Here:
http://www.ebay.com/itm/141300893919
The seller has them listed at 'Buy-It-Now' for $1,800, but the listing does
say 'make an offer', so you might be able to get it down a ways, to something
more reasonable. They seem like they have an interesting (non-identical) set
of peripheral cards. However, I know nothing of HP's, so take this all with a
large grain of salt!
Pity they're the wrong side of the Pond :-(. The HP1000 series is one machine I have
never managed to find, and of course I am generally an HP-lover. Oh well, one will
turn up over here sometime...
-tony