I put grommets in and because they have to be below the top grate when I take the top grate off to get at the bottom grate I have to remove the probes. The grommets work well for the lower grate but are a pain for the upper.
I cut notches in both my 22.5 and my 14.5, it was 30 seconds each with a grinding wheel. Yes there may be a problem in the next 20 years but I will probably be dead by then or at age 80 probably won't be smoking that much.
Here is my video of cutting the notches check it out completely before commenting