I have the exact same model in my collection. It has a 12KP4, and you are correct, the tube chart calls for a 12K.
My set has not been restored yet. I hope to get to it some day. I got my set from someone in the Chicago area on Craigslist for $40.
Scroll down the page to find the thumbnail
http://antiquetvguy.com/WebPages/The...WhiteSets.html