Yup, but without the stamp, the price would be a lot lower, since it would be dealer/LEO only
Cool thing, if you can get one…but HK isn't selling parts here anymore, from what the guy at the range said - their HK autos on the rental line are disappearing as they break and can't get replacement parts.