What are the odds that two completely unrelated robots would be using the same IP address?
from: 174.129.117.216
time: 8/Apr 12:55:32 (PST)
user-agent: Mozilla/5.0 (X11; U; Linux i686; pl-PL; rv:1.9.0.2) Gecko/20121223 Ubuntu/9.25 (jaunty) Firefox/3.8
Asked for robots.txt, swung by main page (which is boring to most robots), went away.
Hm.