Maps plugin

Hi, our client has asked for a particular store locator map plugin but I cannot seem to track it down. I have used theme/plugin detectors but can’t find it. Does anyone know how else I can find the name of this plugin? Examples here:

ecotechmarine.com/retailers
www.aquaillumination.com/buy/retail.html

Thank you