Сто лет назад инженеры писали дыры и дырочки и никого это не смущало :)
Причем, что характерно, ээээ отверстия одинакового диаметра 1/4" применительно к трубам диаметром 2 дюйма названы дырами, а к трубам диаметром 16 дюймов - дырочками :))