Even if he's wrong, I'd take $70 a ton nowdays. I might be able to buy a cheap pizza or two instead of half a pop at $10 a ton.