I've read both. The first was the most impactful to me personally. The way he uses Gödels theorems to argue against the computability of consciousness is actually quite ingenious and it's presented in such a straightforward way that I could easily grasp it from first principles. I also find the criticisms I've seen against it to be knee-jerkish and flimsy.

Orch OR seems like a shot in the dark, and while certainly an interesting thought experiment I'd like to see more evidence before I buy in to it.