how did my OP discover this IP address?

[James Muir <jamuir@xxxxxxxxxxxxxxx>]

I've been reading my OP's log file sorting through the various outbound 
connections that it makes into the Tor network.  I came across the 
following directory fetch request:

connection_connect(): Connecting to "72.1.218.225":9030

What has me a little puzzled is that I can't find this IP address 
anyplace in my OP's cached directory information.  Also, looking at the 
torstats web page (https://torstat.xenobite.eu), I don't find it listed 
there either.

I think maybe this was the IP address of the router hevad99, which is 
now listed with the IP 72.1.218.238.  If this host has a dhcp connection 
then that might explain things.

Is it the case that hevad99's IP address changed during my (1 hour) Tor 
session?

-James