Huh, so you can also get card 17 from trading items in a sidestory treasure exchange. Thought it only worked in Siero's shop.