Hello folks. I have a cast iron griddle that I want to use in my portable pellet grill. Problem I have is that this griddle is 2mm (may be less) too wide. Is it possible to shave? If so, what tools do you recommend?