Mike Thomas Dynasty Value

Offloading everyone, I’m in the midst of a firesale of my dynasty team, and I’m looking to trade Mike Thomas for assets and more assets. Right now I’m in talks for a mid-late 2020 1st, Terry McLaurin and Miles Sanders, which I definitely like, but I’m not sure if its worth selling a top-10 dynasty player over. What should I be asking for? Sort of a dynasty rookie and don’t want to see this blow up in my face.

Both of those players would be high first rounders in a rookie redraft, but I guess it’s a testament to Mike Thomas that I’m still not sure