Hello Can anyone recommend an ice cream maker? Do you use it much? Considering one for my DS 15 - he is into cooking, baking etc. Thanks