I have that one too.

There's no 18FxxK40 or K42 in that dat file either.