I don’t know guys. It’s not a 10k unless it has the wrong tailstock, not just the color it the shape. They are different between the 9 and the 10K. It looks like a later model 9a cabinet model with the more desirable large dials.
Here is a pic of my old 10K. Note the different tail stock. View attachment 273027