Should Manchester City regret missing out on Cristiano Ronaldo to United in the summer?