Grind then file, unless you have a decent grinder.
You can buy a shit grinder for $30 to start rocked teeth, without overheating, and finish with a file.
You can get a decent grinder for $3-400.
A great grinder for $800-1000.
In addition to time and wrist strain better applied to...