I need to make a few grout repairs on some floor tiles and also want to refresh all of the discolored grout lines, so looking to remove about 1/8 inch depth on those before regrouting. Is a Dremel tool with their grout removal rotary bit the best way to go?