Your numbers are off. I hesitated to respond because the actual numbers are still pretty immaterial (but technically material) overall, but it's more like ~$2b than $500m. That's significant, especially for GCP, which is growing quickly in an still very immature and very large market. Give it 2-3 years and GCP will have surpassed AWS.