I wonder if National was using the "New Davis" name on their machines. That's a big reason why you won't find a "name" in the manual, just the model number. That way they didn't have to print different manuals based on the name on the machine.
So it's possible the warrenty goes with the Manual - that would be really neat!