Tak přece jen se v něčem projevil přechod na tenhle novej BIOS:

s dubnovým mám v 3DM2001SE cca 11500 bodů, s tím červnovým pouze 11100 bodů...

Takže zase jedu na dubnovým...