Dig it. A rotavator will just chop the roots up and the problem will be worse next year. I would get as much root out now, and cover over the winter with black plastic. Grass seems to be able to grow unless it's absolutely freezing! Some will still appear, especially if grass verges are next to your plot, but it should be easier to keep it under control.