I just played はたラク2000 and it is DEFINITELY one of the most difficult songs.
It may not be as fast as you described (what were you talking about, Jonahkwok? 300 BPM?

) but the notes are still very hard to master, especially the go-go time notes. (I still can't pass this due to them...)