That is pretty interesting. Same problem, same fix. I bet another fix would be to use the Redding shell holder set that has different height shell holders.
Ive had to sand down a couple shell holders through the years, in order to be able to size my brass. Just switching dies was much easier tho.
JTD