Me either. Too hard to do, I think.
My friend in EU is pretty reliable, but with tubes this old I always take the NOS claim with a grain of salt. When I got these they didn't come from one of his usual sources, so I erred on the side of figuring they may not be NOS. It's only when I took a close look at the tubes and saw clear glass around the getter that I figured they are very likely NOS. Never doubted them being genuine TKFs, though.