Done. Tyler is now PID 64517. Usually takes a few days for a new name to show up in search results, but I got the cards moved (one is moving more slowly than the others, but should show in the right place shortly). I left the Buyback cards of the 2010s under the original Ty, because those are actually re-releases of Tyrone's cards. Tyler hasn't played since 2010, according to Baseball Reference. There were also a whole bunch of unassigned Tyler cards that are now under the new Tyler PID.
I'm going to reevaluate how I collect after the new year. It's just getting way too expensive for the new stuff. Sometimes I just want to buy a pack, not a whole box or even blaster.