Dealer's mistake, did I handle it right?

[boudge7]

At the MGM playing $3-6 I'm holding AK UTG and raise. Two callers, one of which a very solid player that I could tell played often in the BB. She played very fast, and was good with the chips. Anyway, the flop is A 7 4 rainbow, and I bet at it. Next to act mucks and this is where it gets a little strange. The dealer drops the deck in the muck and starts to move the chips in my direction when the girl says that she still has cards. She wants the floor. Here are the options he gives: 1. Chop the pot or 2. Reshuffle all mucked cards and play the hand out if she wants to call the bet. I don't want to chop as I was fairly confident my AK was good. She is pissed that I don't want to chop, and reluctantly calls the bet.

Result: Turn is a queen I bet she folds. I show my cards and the people sitting around me say I did the right thing, but I felt a little wierd afterwards.