I wonder if they will use high-end servers with GPUs that can be used for serving stadia gaming users during peak gaming hours, and then for tasks like number crunching and machine learning during off hours?