My only hesitation is that you are considering two expensive-ish bikes; particularly if you are going to lock it up on a campus, this can be a problem. Consider a cheapo used bike.
But that said, if you found the 7.7 more comfortable, then that's your winner.