I did some research and testing, and we did have it on Leaflet with the default Algolia geocoder.
I think I did this originally cause we liked the look of the Leaflet maps better than Google, and seemed an easier setup than Mapbox.
I just tried a test keeping it on Leaflet but switching the geocoder to Nominatim. Tested one of those addresses and it was much more accurate.
My main goal is to not disrupt the current map (which I shared above, as well as 15 other smaller individual ones through the site) or change the look of them, but to make the addresses plot more accurately on new ones we add going forward.
Does this seem like a good solution?