We didn't have an internet connection in Miami, and I seem to have come down with something since we got back -- probably caught it on the American Airlines flight home.

I will post some notes/findings on Miami soon.