I think trimmimg the washboard to fit would be tha way I would go, though I think using a rotating tool such as a Dremel would introduce heat unless you were very careful. A file or a woodworkers rasp might be the kind of tools I’d use to trim the edges of the washboard.