Would you want the Giants to trade for Brian Thomas Jr. knowing the cost would likely be substantial?