Would be great deal in 5 years to buy those post-lease if Asahi/others Linux catch up.