You are right. Arrive at the correct answer by multiplying the wrong value by another 1.5. Comes out to 830.4 tons of TNT. Which coincides with MichaelSmith's comment: "I saw another estimate of about a 1000 which is close enough."
You may call me by my name, Wirth, or by my value, Worth. - Nicklaus Wirth