私としては2)がいいかと
理由は

・現段階ではプロバイダ規制する程でもない
・仮に規制しても相手は浪人使うから巻き添え損になる
・巻き込まれ被害者が多数出る可能性
・先にプロバイダ規制すべき荒らしが多数いる(大学受験の保守荒らしやアニメ板関連の埋め荒らしなど)
・相手は複数回線使用、無料wifiも使う為結局巻き込まれ被害者が出るだけの結果になる可能性が高い


などですね
この程度なら許容でいいかと
BBR-MD5:CoPiPe-410e5654aceb514cbe74f98fd67b1931(NEW)
BBS_COPIPE=Lv:0
PID: 60277
[0.097617 sec.]
This is Original