I know they were announced, and I assume they were on display, but I don't know. In the past, most of the videos of new models that I've seen from NAMM were made and posted by the music stores-- Sweetwater, Musician's Friend, zZounds, Guitar Center, Kraft Music, etc.-- rather than from the manufacturers.
I'm hoping the manuals will be posted before too long, but if the keyboards themselves aren't expected to ship until about May then it might be a little while still before the manuals get posted.