When the Potion ingredient draw pile runs out, when do you refill it from the discard? — Harry Potter: Hogwarts Battle FAQ | RulesPal