Does anyone use a card shuffler at home? If so which brand and tell me what you like or dislike about using it. Thanks!