I really wish, when looking for lost AirPods, they also played the alert sound when in the case. Only works when out of the case. I’ve lost them twice – both times when in the case. Still haven’t found them this time.