Seems pretty poor that your shop would OK the bike after a crash and miss a crack in the down tube.

Sorry about your bike.