Serious and Not So Serious NFL Betting