ok so it's probably different mainboard then, since there was 3 * 8K and here is 2*16K that makes it 32K instead of 24K.

Nice find anyway.

Micko