I will be changing my clutch on my 07 DX to a heavy duty one here soon. I have a repair manual coming so that I can do it as close to right as I can. My question is this, is there a gasket that needs to be replaced for the clutch housing? If so, what is that part number so that I can get that as well. Thanks.