18w Crompton tubes made in Australia

Two NOS tubes found at the recycling this morning, both made by Philips and probably made in the Netherlands. They were NOS though they were covered in a thick layer of dust! The etches are nice, they remind me of Australian Crompton tubes. Also, the date code should translate as January 1980 according to the Philips rules, though the endcaps and etches look too modern? (Edit: apparently these are Australian made tubes for UK export, from January 2000!)