That is all that exists, for years.
There was one older petrol file, but smaller, so nobody uses it anymore.
Also, from both other providers, there never was made 3dc file.
[Only registered and activated users can see links. ]