公園の水道のハンドルが外されてたので、中の四角いつまみを細い鉄パイプを使ってあけたいのですが、何ミリのパイプでしたっけ。自分用の栓を作っておきたいので。