This has come up in an online league..
http://www.longballer.com/results/p466.html
He was signed when the league was created to a contract of the same amount, but got that award in arbitration this year as well.
His estimate was 7.7 mil, so I have a feeling a bug of some sort kept him from going down to what he should get in arbitration.. any thoughts?