I would be interested in the take of people round here on the following question. What reasons are there, if any, to think that ZFC+"A Woodin cardinal exists" is consistent, other than the fact that the theory has been studied for a while and no contradiction has been found?