Apparently this is the tool you use when you’re removing dried grout?