Has anyone been diving with either Hustler Tours or Amigos Del Mar? We are planning a few local dives, one night dive and a trip to Lighthouse. Should we use one of them, if so which one?