I see a used Mazzer super jolly on a second hand site over here. So it’s 64mm burrs, looks pretty clean, already modded for single dosing, price looks good. smaller burrs to the royal and major, would that make much difference to the home user? I’ve asked for some more info such as manufacture year. Any thoughts on this grinder?