Glad yours was an easy fix. Mine hasn’t worked since first service. Told them to fix it when they did the clutch update. Warranty expired during the three weeks they had it there and I forgot to check if they fixed it when I picked it up. Got it home and remembered it, low and behold it still didn’t work. Got told to go pound sand since my warranty was now expired. Haven’t found a solution yet so I just live with it as is.