They're a direct fit for Z32 AFM, which is different to S14 SR20, and I imagine redtop/blacktop too. But if the AFM/adapter plate is the same as RB or Z32 AFMs then it'll just bolt straight up.
Otherwise, if you want a dead easy direct fit it'd be easier to go for one of the complete HKS kits.