I've been running Linux Mint 13 Cinnamon for about four months now, but had to keep Windows 7 for printing with my Kodak EasyShare 5500 that I couldn't get to work in Linux. Today I went and bought a cheap HP Deskjet 2512 AIO, downloaded HPLIP 3.13.4.run file from HP Linux Imaging and Printing website. Ran the auto installer from terminal following instructions on the HP website. It installed all the missing dependencies, except one--libcupsimage2-dev--which I had to manually install and re-run the installer. Other than that, it installed quite easily. I was even surprised to find that it also installed a GUI called HP Device Manager, even though the website said it doesn't have one. Both scanning and printing work flawlessly.
Now I've finally broken the last link in the chain keeping me bound to Windoz.I removed Windows 7 entirely from my computer and I'm running pure Linux Mint. No more GRUB boot menu. I'm free! I'm free!