今日漸く、蛇口のコマを取り出してサイズを測ったら、（約）14.5ミリ。14ミリか15ミリだと思ってたんだけど、どう見てもどっちでもなくほぼ14.5ミリ。そんなサイズあんだっけ？水道のコマ。