...Ok, I've hit the "Import Player" button, and what do you know...The historical player import succeeded and he's now in my free agent pool
(but I'm gonna erase him because he's liable to get scooped up by the highest bidder, and I want him coming in via the draft when he comes in
).