The GPL doesn’t require them to provide the sources to the world; it requires them to provide it only to those who are in possession of the object code, and even then, _if_ they sell the product with a written offer to get the source code (¿Do they?):
- only upon request,
- only for three years or for as long as they offer spare parts or customer support for the specific product
On top of that, they can charge money for doing that (“for a price no more than your reasonable cost of physically performing this conveying of source”)