WAIS is 530,000 cubic miles of ice. This comes out to 2x10^18 kilograms of ice (assuming it's all at glacial ice density; in reality the upper few hundred meter

WAIS is 530,000 cubic miles of ice. This comes out to 2x10^18 kilograms of ice (assuming it's all at glacial ice density; in reality the upper few hundred meters are less dense) which will correspond to 2x10^18 liters of water to dispose of. This is 100 times the volume of lake Baikal or the Great Lakes (and only ten times smaller than the Arctic Ocean), if I did all my math right...