Brief report:
Climbed with Al Kwok and awagher. We started early at about 2:30AM from the locked gate and so we had great cramponing on hard snow pretty much all the way to the top of the notch. I climbed the rock section up & down in 45 minutes. Spent 10 minutes on the summit perusing through the summit register and couldn't find Peter Croft's entries (guess I didn't look hard enough). Had a fun glissade down almost to the mineshaft area.
Additional info about climbing Basin Mountain can be found here.