I took my Stentura 8000 to the shop to be shimmed today. It had been shimmed before, but it felt like it had lost the shimming because the stroke depth felt deep to me. The repair guy says that it's already short, but he'll make it shorter for me. My question: Does shimming go away after a period of time?