Yes I did and I thought I had replied but obviously didn't. The answer is: not sure. I am not aware what the original thickness of the DK cabs was. There might actually be differences between the Japanese and US built cabs. I bet the Jap cabs had a metric-sized thickness, and the US their old-fashioned, weird, cumbersome and long-left-by-the-rest-of-the-world imperial sized thickness.
Considering these were repro-ed in the US it is very likely that they kept to the US thickness...and I don't know how much that is off from a metric size thickness of the same cabs.
I could measure the molding of course...and I have a Japanese built Nintendo cab here...