Is anyone using a programmable source for hot water? I'd like to be able to set the temp for coffee - best temps depend on the roast - typically lower for darker roasts. Tea temps vary widely. Thanks.