But a lot of Chromebooks are bought by school districts so the end user doesn't have a choice