Any good quality chainsaw file will do just fine, they will definitely cut that steel at knife hardness. They are available in a few sizes at most hardware stores, they usually come two in a pack and are actually pretty inexpensive. You will want to look specifically chainsaw files for sharpening chainsaw chain teeth, they are a straight round file (no taper). You will probably want some high grit sandpaper to polish the serrations after you file them, look for automotive wet dry sandpaper in 600,1000,1500 grits and just roll a piece around the file and pull it through the serrations instead of pushing like you would with the file itself. Good luck , I've done it a few times and it works very well and the results can be very useful.