Curious to know how much ranger service is used on average. For this question I don't so much care whether you pre-paid for it or paid on-demand.