Hey guys, working on a 1994 del sol. Going to get a head gasket set with valve seals and other gaskets. Not sure if the head and or block is original though. Head is stamped pm3-16. the car was from california (if emissons are different). The crank pulley was the type with holes around it not with the hex head. If I get a head gasket for 94 del sol 1.5 SOHC should I be OK. Thanks