Thanks again for all the replies. They have been most helpful and we feel much more positive about making the connection.

I have one additional question: Does anyone know about gate checking a stroller? AB has told my family that if they miss the TXL to MIA connection, they would but them on a flight to JFK, and then JFK to MIA. In that case, they might need the stroller while they wait on the (now two) connections.