Agree with everything... except the idea that IE was wrong in this case. I hated Microsoft as much as anybody during the overlong era of IE6, but even back then, I had to admit that the W3C were the ones who got the box model wrong.
The funny thing is that I've never heard any rationale -- much less a convincing rationale -- for the choice in the spec.