Since Im currently working on restoring a 3-group vintage Brasilia Portofino I would like some input as to which grinder I should get? Been thinking about getting a Brasilia, but should it be on demand grinder or not - what are your thoughts? Maybe a third option? The machine is for private home use only, and I expect it will pour 5-7 shots a day on average...