He's actually referring to WMXD 92.3 in Detroit, which was WVAE for about two years (December '87 to December '89). I don't really know much about it myself other than that it actually did exist. I'm thinking it ran the satellite "Wave" NAC/smooth jazz format, but it could be wrong about that.
The other incarnation of WVAE was 94.9 in Cincinnati, and it was first owned by Heritage Media and was later traded to Susquehanna for WTAR/WLTY in Norfolk/VA Beach. It lasted about four years. It was launched in 1995 after Heritage struck a deal for Jacor's Knoxville properties that required Heritage to sell the intellectual property of WOFX "94.9 The Fox" to Jacor so they could replace the anemic "92.5 The Point." It went away in, I think, May '99. I was living in Indiana and heard the station the day it flipped to "Mojo 94.9." "The station formerly known as WVAE Fairfield/Cincinnati is now Mojo 94.9."