People who play cards: what’s your favorite brand of poker deck? Do you prefer paper or plastic cards?