Praia da Rocha - микрорайон на карте города .
Приблизительные координаты микрорайона Praia da Rocha на Openstreetmap карте: 37.1201369, -8.5364249