For the budget you're looking at your best choice is the GT Grade Carbon 105. It's on sale right now and a few hundred more than the two Trek's you're looking.
Imo most aluminum bikes are too harsh for gravel use for extended periods of time, including the Crossrip. Notable exceptions are Diverge DSW and potentially CAADX. I've not ridden the CAADX, but CAAD10 and CAAD12 ride great if that's any reference.
All said I don't think one can do better than the GT Grade in the $2000-2500 range.
Edit: the 2016 GT Grade Carbon 105 is available for $1749! That is a killer deal if one of those three frame sizes suits you.
http://www.competitivecyclist.com/gt...o3Omd0IGdyYWRl