Hello, if I understand correctly these two laptops are identical except that the Tuxedo runs more Linux-friendly firmware. When I compare the prices on the two web sites, the Vision 14 is more than 200 euros cheaper for my preferred spec, which seems a bit steep. So, is it possible to buy the Vision 14 and install the Tuxedo firmware yourself?