It is my understanding that Havok is free for non-commercial use. I don’t know if that was true before Microsoft bought them.

…

Am I mistaken?

I think you are right; from this license it is apparent that DLU binaries could be released. I doubt that they would do so from what I’ve heard, but licensing was definitely a lame excuse.