Should automated external defibrillators (AEDs) be mandatory in restaurants?