If they have any sense, they should be. It would be permitted under the licence, too (unless I'm misreading the k3 licence).