Nearly correct. The DX/4 100MHz had a 33MHz bus. The DX/4 75MHz had the 25MHz bus. I remember well because I had both.
Now I remember being annoyed that it wasn't the DX/3 as it should have been!
alt Hacker News
Now I remember being annoyed that it wasn't the DX/3 as it should have been!