We're the somewhat frustrated owners of a very early 4D/20 which has got 8k-data and 16k-instruction caches. I've just heard an unconfirmed rumor that later revs of the 4D/20 board had 32k/64k. Does anyone know if that's true? (yes, I know the 4D/25's got 32k/64k; I'm interested in the 12MHz 4D/20). thanks, s