Did you see the reply to your posting on EEVBLOG? (
https://www.eevblog.com/forum/buysellwanted/wtb-hp64000/ ) I had not seen that previously. Shipping would probably be the biggest issue.
I did see on your other posting you were curoius about 6502 support. My first project at HP was development of the 6809 emulator. A very large video game customer in Japan developed one using the "User Definable Emulator", but we never released an HP designed one. I've hear a rumor that someone hacked a 68000 emulator to support the 6502. I can easily see how that could be done.