Other: Wagering on the F1 - how popular is it?

Sports betting has been one of the biggest growth industries in the 21st century, but where does Formula One fit in?