Not all trade locked cards migrate to TCG Live

My son migrated his collection over to Live today, and sorrowfully discovered that his custom decks are now incomplete because the trade-locked cards everyone is given when they first play TCGO do not migrate.

We did our research:

• We learned how to properly migrate decks by exporting the list then creating a deck from clipboard.
• We learned that some of the cards don't work unless you delete the leading zeros from the exported list text.
• We figured out that creating from clipboard doesn't necessarily add the card rarity you own, so you have to manually change to the right rarity to get some of the cards you have.
• We confirmed that your card-locked cards are all supposed to all migrate, and that the cards in his deck were not part of any deprecated expansions.

Alas, TCG Live still managed to deceive us. The only trade-locked cards that migrate are the ones you EARN from packs in the game or BUY in the shop. The default collection of trade-locked cards everyone starts with does not migrate.

I have a sad little boy (7yr old).

Shame on TCG Live.