What rim do you have now? Was that 17mm an inside or outside diameter? Mavic 719 and 319 have an inside 19mm diameter and I know that 2mm doesn't sound like much but it can make a difference.
But heck yea, try the file first, if that doesn't get it done, a lot of people might want to buy your tires around here and you can try some others. Best of luck in whatever you decide.