My goal is for him to opt out in year 6 or 7. That said, I agree that you don't need to go that high on the numbers, but I was working with the number I got. Maybe something like:
45-45-40-/-55-50-40-/-40-/-25-20-15
Would be more palatable? That's 10/$375, which would still work out as the highest AAV in history (I think) while also reasonably assuring that your FA of choice (mine would be Machado) won't opt out after year 3, and will after year 7.