I know it may seem like a bit of a loss vs. buying on the open market, but you never know, those cards might increase quite a bit in time. Diversifying a bit is never a bad idea, so I would have probably done the same thing.