Ah, you are right. 300 “mips” (peak), 150mhz.

The cryo guys had something faster running in the back lab, but I don’t think they got 2x.