Marino set an Ironman World Record on this course .
Michael became the first Austrian to go sub-8 hours in an Ironman here !
Marino set an Ironman World Record on this course and Michael became the first Austrian to go sub-8 hours in an Ironman here !