My son has a Dell Mini 9 which has been discontinued and replaced by the Mini 10 and 10V. He likes the Mini 9 a lot as it runs Ubuntu and OS10 quite easily. Anyone have any thoughts on the Dell Mini 10 or 10 V verses the Acer offerings? Al, retired, mostly AKA k9si