Did the Pats botch the Jimmy G trade?