JohnD,
the post of the other HK was titled "Private HK on GunBroker" and you have to go back on the archives 100 days to find it on this forum. I think that the gun sold for $74-7500. I remember you giving your blessing on it, but you had no comment on the price which everyone thought was high. I didn't pay that much, but the price was still high (maybe).
Big Norm