Retirement tax questions

@bitjockey Just to test - On the W-2 enter $200,000 for Social Security wages in box 3 and then enter $10,000 for Social Security taxes withheld in box 4.  Do you get the same erroneous result of $8,853.60?