The model number is C4390B. I just couldn't find any schematics or other service information for it, or figure out the year it was made.
Looking at the different vfd tubes on that site above, this clock radio uses the GE Y-1938
http://www.tube-tester.com/sites/nix.../y-1938-bl.htm You can see where the tubes I have used to have the blue coating which is mostly worn off now.