Assuming you're not looking for something new, I was actually thinking of the 16702B which has a built-in LCD screen. The 16700B would also work fine if you don't mind an external monitor or connecting to the analyzer from your computer. If you're interested in this series get one with option 003 which has more memory.
Another possibility is the 16900 series, which runs windows and has a faster processor. But it is more expensive.
For either, the 16752A card in state mode can capture a max of 32M samples at 400MHz with a width of 68 bits. I haven't mapped out all the W94AD2KB signals, but it might all fit on one card. If not, you can gang two cards together.
But more importantly, the W94AD2KB is a 90-ball VFBGA. Are you able to get access to all the signals? Are they exposed on the board somewhere? Does the board have built-in probing connections?