DH is after one of these, and they are quite pricey, so want to know which is the better one to get. I've looked at both the Krups Dolce Gusto and the Bosch Tassimo, and not entirely sure what the difference is. Anyone know, or reccomend one?