Nice. Blue book seems high...weird

I have a friend with 3 of them, all coupes, one is turbo. They are cool cars. Is it the SOHC or DOHC?