Bending brake arms is possibly the most common thing shops and skiers do. With such a minimal difference, you can get them bent or do it yourself, with little effort and zero concerns. Typically you want to use an old pole's shaft to fit around the arm and using the length of the pole as leverage. If you're unsure about this, a shop can do it in 10 seconds for ya. Only when the difference is around 10mm is where you should be concerned about too much flairing out of the arms when you're clipped in.