From Danny Knobler of CBSSports:
No surprise, but I hear Reds are searching for starting pitchers they could trade for before the July 31 deadline
In another tweet he mentions Jeremy Guthrie as a guy the Reds like. Guthrie isn't a bad pitcher but he isn't really an upgrade over what the Reds already have. We need a true ace.