Does Dell offer a repository for all their drivers or some other way to get the same build that it comes with out of the box? Or all they really all open source and in Ubuntu's repository? I need a laptop with great Linux support but may prefer to have it pre-installed with Windows for gaming and install my own Linux partition.