Thanks guys for your input. I, too, suspect
that the miles are nautical miles. It's all
psychological anyway. I like "pancakes"
or "aardvarks", but most of all "dollars" would be a good pseudonym for "miles".