Want to learn lah.. still a baby in BMW.. so must learn so one day can be a sifu like you..hehe... How do you know I don't have manual?
Better to check with some shop, you can probably get the OEM clutch pump for Rm200, than to do with repair kit. Just checked a new pump for E30 is only costing Rm170. Original could be over Rm500 or more.