Quite an interesting question - people who fly >=100k miles a year, how many miles per year do they drive? If would be quite easy to determine based on rental car receipt and home car's odometer.