Electric ski edge sharpener metal dust - razor tune vs swix evo pro

Hi all.

I have been using files and diamond stones to sharpen my edges, I was thinking of upgrading to an electric sharpener, but some say that they make a mess indoors with all the metal dust. What is people experience here? Is it too messy to use them indoors? I've seen that the swix evo pro has a magnet to catch the metal dust. Does it work and is it any different from the razor tune?

Appreciate your input