How much should I pay for these HKs. I saw an HK EFL for $550 but I haven't seen others so i can't compare the price to anything. Is this a good deal? It seems reasonable. What about the HK P2A1 fo $200? I'm enough of an HK nut to buy these things, I just don't know how much I should be paying. Thanks for any advice.