You are good to go, most transferable HK MGs are sear guns. At least for that price it had better be a registered sear.
It is sad to say that when I read this thread my first thought was '4200 for a sear isn't too bad these days'. Then I remembered that it is no more than $75 worth or work and materials. Something here just isn't right.