I agree, just replace them. 4mm is worn pretty well. You want to replace them BEFORE rivets start wearing through the friction face.

__________________
'84 190D 2.2 5MT (Red/Palomino) Current car. Love it!
'85 190D 2.2 Auto *Cali* (Blue/Blue) *sold*
http://badges.fuelly.com/images/sig-us/302601.png
http://i959.photobucket.com/albums/a...0/sideview.png