For the casual user, if you have no pressing need for roll paper, I would highly recommend the 3880 over a 4880. It's smaller, easier to use, designed specifically for sheet media and you won't end up with ink that's long overdue its expiry, but still benefit from much larger ink tanks (and cheaper per ml) than smaller printers and still have 17" capacity.
You could consider a 4900 if you really wanted the HDR inkset, but again I would suggest a 3880 is a better fit for you.