2019 GTI DSG gear crunch on downshift

Per the title, I only experienced this once today. I was downshifting manually I believe from 4-3 with my RPMs around 3-3500RPMs and I hear a crunching sound similar to if you attempt to change gear without the clutch. I have 88k miles and got my DSG service with filter done at 80k miles which is the interval for DQ381. I am assuming the worst but should I expect a possible DSG replacement in the future?