I actually completely agree, I was just being provocative. I'd make that trade every time too. At the time he wasn't needed, and no idea how he'd turn out.
Do I trade Aaron Sanchez now (knowing he's 50/50 to even be a big league pitcher, but could be a future star) for Shields if it's clear we need a Shields to make the run? Yeah I probably do. I'm just not totally sure we need to do that right now. And we have another 4-5 weeks or so to decide.