Amazon is having a one-day sale of this small laptop: <$300. Reviews seem to justify the price point. Does anyone know if I can wipe the Windoze 10 OS and install Linux without fighting "secure boot"? Sean