Congrats on your purchase!
I remember paying $700 for mine in the 80's. And paid $600 for an HK94, and $800 for an HK91 1 and $1500 for a PSG1.
I had to leave my HK family & AUGs in WA. And I miss them badly....lol!