I also don't hear a vocoder on "Isn't It Time", it sounds like normal vocal processing in 2012 which can still be a case of pressing a few buttons at random and finding a sound that makes everyone say "This sounds cool, let's use it!".

The vocoder has a much more characteristic sound, there are literally so many examples and demos on YouTube and elsewhere that you can A/B the BB's track with another vocoder track and hear the difference.
....Beaches In Mind=Talk Box. Isn't It Time=something other than a vocoder. Agreed?
(On a side note, one of the great things about being a musician in 2012 is the availability and affordability of some of these classic effects. The vocoder bought and used by Jeff Lynne on Mr. Blue Sky and Sweet Talkin Woman, when new, cost something like $6,000 US in the 70's, equivalent to something costing in the 5-figure price range today. An Eventide Harmonizer, that ubiquitous piece of processing gear that was everywhere during the late 70's and 80's and beyond, used to cost a small fortune. Now, both of these effects can be had in a pedal form or a plug-in form for as little as 200, and even a 75 dollar Zoom guitar pedal can do some of the Eventide's harmonizing tricks for guitarists on a budget, and same with various vocal multi-effects units for 100-200 bucks. That amazes me.)