I read almost all of his books, not all are that grim. Some have a humorous touch, at least on the surface, like Ubik or the book from which "Total Recall" was made, but I agree on your well-put overall conclusion about his type of genius!