+1

Assuming we are importing the coordinates as they are, this may be a useful reference for the discussion on coordinates: Is it acceptable to use coordinates from Google Maps and/or Earth on Wikipedia?

Takeaway: It’s okay as long as the geographic coordinates are not from Google’s geocoding service.

Option 2, appears to be the prudent way to go. Do not fold the coordinates into OSM, use them instead to identify the general area to work (identify, trace, tag) on.