[coffeecrazy1]

1)Yes...the player should have said something.
2)Hard to say what the button should do, but I know I would not let it go...too much money involved...even if it was fruitless(floor would probably rule that it was spilled milk).
3)Dealer should not be allowed to deal pot-limit until he can accurately count down the pot for his superiors. PL is the hardest game to deal for this reason(I think...I believe that's what my dealer friends have told me)...and it takes a very competent dealer to deal it. Sure...mistakes happen...but someone dealing 5-10 or above should be past the point where it is anything but automatic, IMHO.