Gaudy, golden and ‘Old Vegas’: locals mourn loss of beloved El Cortez Hotel & Casino carpet