Great analysis! Given the relatively narrow application of ASICs, I'm not sure how close you are to accurate, but the computing power being burned is significant!
I think this is exactly what Ethereum and Golem are trying to solve, and I'm all for it!