I see Detroit/Seattle has a O/U of 7, am I missing something? Verlander is the better pitcher of the 2, but hasn't been lights out against Seattle in the past and hasn't been great this year. What do you guys think?