Does anyone know how many red caps are at the Palms? I heard a rumor that there were 800 red caps and 1200 others?