Great trip report.
We’re the rocks marked on the chart?
If they weren’t marked on the chart , you can edit the Navionics chart to show their location, if you have the Lat/Lon coordinates of their location.
This would be of great benefit to all sailors using Navionics.