Anyone been to Nerja in Spain recently? Recommendations of where to stay / eat? Need a heated pool for kids. Thank you!