这就是瓷砖开孔器吗？这也太方便了吧，钻的孔大小正合适！