I had an Acer laptop once. I had Ubuntu on it. I had problems with random crashing after a few minutes, I ran memtest, it took a few hours for a full test and came back with a whole slew of faults. I sent it to Acer under warranty and they told me that Linux was the problem and I should leave windows on it.
Yes. Tuxedo is German, Slimbook Spanish, Starlabs British, NovaCustom Dutch.... Framework is US/Taiwanese but sells within select EU countries and the UK. AFAIK S76 is US/Canada only.
Edit: most of these actually ship worldwide but won't collect VAT and probably won't honor warranty claims outside their territory.
A 128 or 256 GB SSD or NVME drive costs £10 to £15 on eBay used. I would buy one and put Windows on it when sending back for warranty repair. OP should actually just do this for the BIOS update and then swap out the SSD back to the Linux one after.