Вот этого я бы делать не стал, если бы не был уверен, что все остальные плавники, заранее стандартных размеров, тоже не лезут. Тогда - да, надо колодец точить.
Но это вряд ли, скорее некоторые плавники сделаны с запасом, их и надо точить.