I have never been to Puerto Rico, and I don't know what its status is regarding US Customs. Would I have to go through customs at DFW? Trying to figure out how much connection time to allow. Thanks.