As much as I want us to score more runs, a part of me hoped the box score stayed as-is for a historical type game. I don’t think there’s ever been a complete game double no-hitter in MLB. Don’t know if it ever happened in college either. Would’ve been pretty cool to witness that.