Is $1200 too much to spend for a Pixel-branded Chromebook?