Yes it probably does take Velasquez as part of the package for Sale, they will want a young starter back with upside. Probably have to replace Velasquez with Eflin in my rotation above. I really don't think you will have to include any of Crawford, Alfaro and Moniak in a package with Velasquez and Hernandez, maybe just Knapp and some off the 40 man.
Maybe this isn't enough but the Tigers look like they want to shed some salary, especially with the new CBA. There are stories of us asking about JD Martinez.
Heck in for a penny in for a pound, lets get Verlander too! We certainly have cap room This looks better:
Verlander, Sale, Hellickson, Eickhoff, Nola with Chapman as closer
CF Herrera
2B Kendrick
RF Martinez
LF Cabrera
1B Joseph
3B Franco
C Rupp
SS Galvis