Yes all the boys, coach and SEAL's are out. But keep in mind that divers will be doing cleanup work; removing gear, equipment, water pumps / hoses etc for days to come. There is still a great risk in this work, but hopefully no one gets injured or worse.
One of the divers who was born and raised in our local area, was involved in the rescue op and has been recognized in the local media for his efforts.
9 days, 7 missions and 63 hours inside: B.C. diver part of daring Thai cave rescue Also mentioned in BBC News.
Cave rescue: The divers who got the Thai boys out
_________________________
Earth and sky, woods and fields, lakes and rivers, the mountain and the sea, are excellent schoolmasters, and teach some of us more than we can ever learn from books.
John Lubbock