Did anyone run devilman half with a garmin?

keep hearing reports of a longer than advertised run and wanted to check and see if anyone raced with a garmin.