Yes, nice smooth rounded dent on the downtube. DH contacted Trek today and asked them and they said if the dealer has checked the bike, then no problem, but to make sure it's explicitly written on the invoice of the damage.

Shannon