The player has always been called the 3800BDCI since they first announced it back last July. The transport is the 2500BTCI. That page has been up there since late November as well. I know because I have it bookmarked and salivate over it every day.
Though I note they updated it to "Shipping February" instead of January as it used to say. At this late time I wish they'd just go profile 2.0 so firmware updates could be easily gotten.