did you read what I quoted? It says the binary must be distributed with source code, or with an offer to distribute the source code. Lego did none of that.
And, no. You don't have to publish the source code. You have to offer to distribute it. Which is different. (I am not a lawyer).
https://news.ycombinator.com/item?id=35183786 contains a quick discussion about what is and what is not there. I don't have the product, so I cannot tell.