'Devil May Cry 5': Is 15-16 Hours Too Short For A Campaign?