Hi Clive
I'm note sure about budget yet, I'm trying to establish options.

I ain't done a survey on average cups per day. I could probably do an
estimate based on how many bags of coffee we get through in a week but
was hoping that my figures would give a clue.

Let's see, say 25 out of 20 drink coffee, average 3 cups a day, so
maybe up to 100 cups (OK mugs) per day?

HTH
Jon N