IP меняется посредством [цепочки] анонимных прокси. Для провайдера будет видно что угодно, только не реальные значения. В случае использования стандартного дистрибутива со стандартными настройками и приложениями по сигнатуре определить юзера будет проблематично. Но вы скорее всего правы, это не тот случай.
> мега-баблище против сурковских хунвэйбинов
Вы imho оптимист.
Мне ситуация представляется более простой: автоматическая реакция на стандартные события.