US gaming revenue up 6.3% in October