For that price difference I'd go for the Trek. It is better spec'd and from an arguably more reputable brand.
As said above if you do have a little more cash to splash, the carbon Checkpoint SL5 is a really good step up. The AL5 will serve you very well though.