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!
Noel