Above first command finds a NetSetupMig.log, but it doesn't mention nettun.inf.
Second command doesn't find anything.
I would have had that result by starting from C:\Windows\System32 ? On my mother's machine this is all that would have matched
19:32:39: Adding ms_tcpip_tunnel
19:32:39: Adding ms_tcpip6_tunnel
Anyway here is what that mystery file contains
nettun.inf:
*ISATAP
*6TO4MP
*TUNDIRECT
*TEREDO
*IPHTTPS
I don't want to do a full volume GREP on here but backing out of %windir%\Inf and still filtering with just *.log finds a few more
C:\WINDOWS\INF\setupapi.upgrade.log
C:\WINDOWS\Logs\CBS\CBS.log
C:\WINDOWS\Panther\setupact.log
C:\WINDOWS\security\logs\scesetup.log
C:\WINDOWS\System32\NetSetupMig.log
C:\WINDOWS\System32\config\COMPONENTS.LOG2
C:\WINDOWS\System32\config\ELAM.LOG1
PS C:\WINDOWS>
Those LOG2 and LOG1 were unexpected bonuses of what I thought was a tighter search.