That's very interesting. It's almost like the Family Guy animators asked Lucasfilm for a model of the Executor and they said "go find your own!"
I think he should get credit, and since its not out, he might already be credited if it was in his mesh. It's not like trailers have full credits (either for TFU or SSSDS).