Funny you should say that as I was just considering asking some relatives in Europe to order for me some parts.
It turns HK in Europe does not sell directly to regular folks, but only to unnamed distributors.
May I ask you to be so kind as to give me the link where one can find the numbers?
As for HKParts.net, I am sure they are marvelous humans beings, but I have religious problems with their marauder's price tactics.
I went so far as to make my own trigger return spring tool, but so far I have not ordered anything from that site.
I expect someone will point I am a stingy old fart, but yes, I am what I am. :-)