Thanks for your thoughts!
As to the nature of the tournament: it is not a home game. It's commercial, but not run by a casino.
I talked to the staff about this the other day and they stated that, generally, chips that are put in the pot stay in the pot. However, they don't seem to totally agree on that among themselves, for one of them stated that under certain circumstances the chips can be taken back while the other guy disagreed...
Well, I kinda left it at that because I could see that they had their own issues of how such a situation should be resolved.
I also asked the dealer what he was thinking about the whole issue and he disagrees with the practice of forcing players who obviously made a one-time-mistake weren't allowed to correct that mistake when no action was caused and instead just given a warning.
Everybody knew that the player who bet the 800 was new to the game.
But he also stated that he didn't really forced his ruling because he knew that if he called for the floor, the floorman would rule the chips to be forfeited.
Well, again, one additional reason why it's a good thing to have RRoP laying around.