Zum eigentlichen Rekordrad findet man hier
http://www.hptdelft.nl/en/ ein bisschen was. Eventuell werden da noch ein paar Leistungsdaten veröffentlicht, ein SRM ist dort nämlich verbaut.
Die Rekorde in den verschiedenen Klassen sind hier
http://www.ihpva.org/hpvarech.htm zu finden.