Contributing back is besides the point. GPL is infectious, so all of their code which they aren’t releasing the source of is also considered GPL. So unless they release all of the source code they are still non compliant and I have to imagine they’re wel aware of this.