Help Identify Rb25 Wastegate Actuator

[gt-ahhh!]

hello, been pulling apart my fried turbo and engine (RB25DET, fairly stock).

has a hks branded wastegate actuator on the stock turbo. as in the gold cylindrical bit has hks written on it. just wondering if this is normal, or its aftermarket in order to raise the boost.

it seemed a bit quicker than other "stocko's" (pod + 3" exhaust) so i wouldnt be surprised if it was running a few more psi.

also, since i have no use for it now, is it worth anything?

i also have all kinds of other bits, inc. a perfectly good RB25DET head, was working fine prior to turbo and ring failure. i think its even been reconditioned. any idea what that might be worth? i have had a look around and im thinking $400+

thanks for any help guys!!