My friend has a 94 EX and needs the piece that the VTEC solenoid bolts into. The piece that bolts into the head. I don't know what this is called. Any help? Or is it just part of the solenoid? Thanks