Has anyone install Ubuntu on this? I've seen a few things on the web which weren't clear as to whether there were problems or not (with 8.10). Also, how many people have actually got a refund on the Windows tax? Really annoying that Samsung aren't offering a Linux version.