Thank you. Truth is, I already got these... but after getting from artek the manual for non-military HP8640B, if the have a manual for one of my devices, I'm buying it.
Not a problem for 3456, thanks to the link you provided. But the manual for HP8640B-AN/USM-323, if not from artek, comes as printed sheets, unbound, unknown quality, 5x the price...