And even more luck!  They got it out in under 5 seconds.  Otherwise they would have had to invoke the 10 second rule :-)  No big deal, just brush off the coals and it still tastes good.