Both Alex (Foxrider64) and I both know that sub 1:30's are possible, he said something about 1:27's by some racers. I have an unofficial 1:33-ish @Jennings during the mock race (taken from video). Are their any official race times posted somewhere for the CCS racers down there? Inquiring minds want to know.