A better question might be, "What country do you come from where you don't know how much health insurance in the US costs."

But thank you for the numbers. An extra 9K a year doesn't really sound that much to pay for experience but I guess penny pinching is the order of the day for too many managers.