Apologies for a non-trivial edit here, but while I haven't solved the problem yet, I am indeed an idiot and forgot that both of these computers are running Windows 10 (confused one with my work laptop ...

I have a user who's machine is not pingable on our network, using computer hostname or associated IP. However, in troubleshooting this, I see that the IP the machine actually has does not resolve to ...