Thanks, I was looking at cost difference between the two and wanted to see if the 9441 would work. I havn't had probs with the 1007, just gets expensive after pulling the heads a few times.
But if I have to machine the heads I don't think it would be cost effective.