What do we think of the Luis Robert Jr trade now that the dust has settled? I think initially I was pretty happy with it, but now it seems sort of… eh. Not the big fish we needed to really compete this season