Since nobody has seen them notched is it possible this was done by someone other than the casino. I have seen them notched though in more than one place. Barry