You can be sure (even if it's not Westinghouse). :-)
1 ton = 2000 lb in the U.S. Heat of fusion of water at the triple point is 144 BTU / lb Therefore, 1 ton of ice melt yeilds 144 x 2000 = 288000 BTU. Divide that by 24, the number of hours in a day, and you have 12,000.