Well, I finally managed to convince my friend that $10 was too steep for the cards and that the average price should be no more than $1 per card, so I am happy to say the buy it now price has been lowered to $6, in case anyone is still interested in them!@