In addition to our super general AED kit, which is more reminiscent of an AED from a hospital, there are now some more specific and well-known AEDs that can be found in the country.
Thanks to Huib Breeman for thinking along.