Pound shop Diamond sharpening thing, 2 mins with a bit water . Done . Great for taking the sharp edges off tile cuts as well so they grout in nice
