1,000 or 8,000?

On this Vegas.com page, under MGM Grand Details, is the following: Pool: Yes, the 27,000-square-foot Grand Pool complex features five pools, a 1,000-foot-long lazy river pool and three Jacuzzis.

However, clicking the Grand Pool complex link brings up a page with this at the top of the MGM Grand pool Details list: Number and size of pools: The 6.6-acre Grand Pool complex features four pools and an 8,000-foot-long lazy river pool.