On Thursday, 9 April 2020 01:18:48 UTC+1, John wrote:
Intergas are Dutch, not made in the UK.

I stand corrected. Thanks For the background info.