My son is looking to purchase a laptop for university with the option of an i5 7300HQ or i7 7700HQ for £63 more. He will be using Virtualbox, Photoshop, Microsoft Office and coding applications for his second and final year. On Virtualbox, he will be running one virtual machine (Windows, Linux, Kali, etc) at a time for his assignments/projects to setup, configure and testing stuff in the OS, maybe more but he will probably won't be using Virtualbox after he graduates so do you think the i5 7300HQ will be enough for his needs and gaming or go for the i7 7700HQ for £63 more, what do you think?