>>927
ガラス用のパイプカッターなるものもあるな。
ガラスパイプ買い直しのが安い可能性もあるが