Hello! I am willing to buy a new gaming laptop but I also need it for work. Does anyone tried to dual boot to enjoy both windows and linux ? Any major issues ? What distro would you recommend ? Thanks!