I was going to say about 800nm off the top of my head from flight plans I remember, although I havent been there since last season.
I guess that would figure though - the real distance flown is probably 750-800nm by the time you have added departure, arrival routings and airways, so tell him 764nm ?????