smf

I am having my head gaskets replaced and the mechanic has said I may as well do the Timing belt, and the clutch while I am at it. The car has 150000km and for a total cost of $4750. From what I have gathered the OEM clutch is a flex clutch or Dual Mass Flywheel? Just wondering if an SMF Clutch...