I'd choose option 1 anyway. Miraflores is far better for adults and kids, several things to do, places to see. Staying near the airport is viable for one night, but 3 days would be boring, or complicated to move to touristic places, because of traffic.

Besides the Ramada is not cheap, though I don't know what hotel category you are choosing in Miraflores. There are cabs 24 hours and the hotel can help you with that, too. In my opinion it's the best choice for a family, from any point of view.