Those are 1960-1970-era drawings done for modelers that predate the museum. That said, I'm not sure if we have a set in the archives or not.
Note that the Crittenden/Derr drawing of #9 *is* our Museum's Logo.
I've let the archive department know that these are available.