I wouldn't trust any labels outside of the main chassis board itself. Who knows what a former owner might have swapped in/replaced, especially since most of those WG chassis are cross-compatible with the tubes and yokes from other monitors. Swapping a broken chassis for a different model working one would have been trivial.
look for the "P" number silkscreen on the chassis along the edge, it should identify it beyond any doubt you can look it up i that thread I posted earlier.
a "25K2193" which is a u2000 chassis will be "P717"
a k7400 will be "P763"
based on the location of your width coil I still think it's a k7400 and not a u2000 despite what the frame says.
I hope for your sake it's a k7400 as the u2000 is notorious for being a turd
(full disclosure I have a u2000 in my ki2 cab, and it's fine, but I did have to completely rebuild it)