The m20 flywheel is more like 18 lbs, and the pressure plate and clutch are heavier too, so figure about 19-20 lbs by the time its all installed. That's still a significant savings over the 28lb stock flywheel.
I had m20 FW's lip machined off and lightened a bit more. It ended up around 15 lbs which was what I wanted.
I think 9lbs is excessive for the m20 FW and I'd imagine you'd have a hard time finding a shop that could get it that light. I think around 12lbs is more typical.
IMHO 12-15lbs is about ideal. I noticed a huge difference, not just in acceleration, but shifting is improved all around. Get much lighter and you can get chatter, and your passengers will complain about the jerky ride.
The clutch and flywheel out of a 6-cyl m20, the m20 starter gear, and a trowout bearing from the e21 323i euro car are all needed. iirc our flywheels weigh close to 30 lbs. The m20 is 12-14.