It depends on what they have their model licensed under.

You can print whatever you want for yourself, but once you start selling to others, it's a whole new game with all new rules.