That's completely separate from his domain-name DNS, though, and is controlled by his ISP. Nothing is likely to change there, unless the ISP is delegating those PTR records to Jimmy's DNS as well. I feel like he would have mentioned that, though.