absurd misdeal situation

[cunningham22]

Home cash game, 25/50 cent blinds, 20 max. No big deal, just friends. I raise to $2 mp with AsKh. Late caller and it folds around. The flop comes Jd, 2d, and at that point the dealer tries to flip the third card (don't even say it - I always tell them to flip all three at once) and the entire deck falls out of his hand and fans into the muck. It was impossible to tell exactly which cards were mucked and which were from the deck, so reshuffling was not much of an option. We split the pot - he had A10. Was this the only option?