Hi,
das halte ich für nicht unwahrscheinlich.
Du kannst ja mal schauen, was jeweils unter IP und x-forwarded-for für IPs auftauchen mit den verschiedenen Opera-Mini-Versionen bei Aufruf der Seite http://pgl.yoyo.org/http/browser-headers.php
Bei der 4er-Beta wird da unter x-forwarded-for eine zusätzliche Opera-eigene IP genannt IIRC, die beim 2er- und 3er-OM nicht vorhanden ist.