The IRS Decided to Get Tough Against Microsoft. Microsoft Got Tougher.