Brian,
I've seen the same video, and others as well. Unfortunately, just because it's the WSOP, that doesn't mean they are right. There is no rule, that I've ever seen, that tells the floor to dig through the muck and try to find the cards, (whispered in the floorpersons ear) that have been mucked...at least not for cards that have never been properly tabled first. How would you like to be waiting for a floorperson to dig through the muck, until the cards your opponent claims he had are found! "Gee sorry Brian, here are the pocket Aces Johnny mucked by mistake"..."You lose!"