ok, i'm gettin a 88 civic sedan that was run hot and they think it needs a head gasket. i'm not experinced with honda engines and the different series, all i know is 1.5L. and is there special tools involved with the t belt? i will look at alldata at work, but any tricks would help. thanks, jon