AGA: Q3 US gaming revenue hits record $15bn