Ahhh, he has been researching on Rubiks.com
Scroll down to see the 'official' record listed here.
"The World RUBIK Cube championship was held in Budapest on June 5, 1982. Nineteen National Champions took part. Minh Thai, the US Champion, won by solving the Cube in of 22.95 seconds. The world record, in competitive conditions, grew progressively lower and now stands at 16.5 seconds."