I was just wondering if his ISP gave up his name upon request, that's all.
The problem with your theory is the only way they could get his ISP information would be from Jim since ISP information isn't posted anywhere.
I'm a mod on another board which is owned by my son. ISP's are logged but can only be seen by those with admin capacities. The only reason we need to have that information is in the event we need to ban by ISP someone who trolls excessively or posts certain banned pictures.
Your ISP would require a subpoena to release that information. They do not give out the identity of their customers willy nilly.