I withdrew about $240,000. Contributions over the years were about $70K. I had included in the withdrawal what I thought was enough to pay the taxes, but incurred all sorts of additional costs moving, paying larger down payment than planned to keep mortgage affordable, loss on currency conversion, customs clearance, etc, and then had only about $5K left.
