10/$350 beats that significantly. Also, if there's anyone out there worth $40 million AAV, it's Machado. He's averaged over 5 WAR/162 for his career. Provided he stays healthy, he's a good bet for 6 WAR per season. So you're likely paying $7-8 million per WAR at $40 million AAV, which is still below market rate for WAR.