My W124 armrest plastic piping / trim on the driver's side has split in numerous places, like virtually every one with leather I have looked at online. Has anyone had it re-trimmed, as I find it quite irritating resting my arm on it in shirtsleeves, and how expensive was it?