Red Hat working is more remote than you'd think from the pure numbers, since even if you're working in an office your team won't all be in the same office. The team I'm in has people working in offices in CZ, around the US, the UK, Australia, and in China. So we work using remote tools anyway.