Die simpelste Erklärung ist für mich, dass Thommy zwar den Windows DNS-Caches und seine Browser-HTTP-Caches geleert hat, aber nicht die Browser-internen DNS-Caches. Dann ergäbe sich genau dieses Fehlerbild.
Klingt erstmal schlüssig. Nur… gerade nochmal geschaut: weder Firefox noch Chrome bieten mir die passende Unterscheidungsmöglichkeit an?