I didn't know about either places. Thanks! As for Downtown being a ghost town... that's probably exactly the wrong way to describe it! I just mean that many of the restaurants, and stores that cater to the work day crowd close up.
FWIW, I'm happy in Miami and glad I'm here. I just wanted to air some of the warts I wish I knew about before coming.