Yes the record time was 2:58... set by Bill in 1989. I do not know where the F25C info is from?? I seem to remember Randy winning on something "like" a P19, I thought it was more like a 6.0 with big racks on the side that gave him big leverage.
David it looks like you where 3rd that year in that article you posted. I was on the Orange RC27 with Randy when we lost after a big lead....
One year Randy (or someone) had a P19 lengthened to 20 ft and a bigger rig.
I always liked the name "Calculated Risk", especially since its owner is an actuary.