Yes, I suppose if one includes all the costs it could be $10k per hour. It would vary depending on location I suppose but I wouldn't argue if they were using an average over all of their operations. It would be interesting to compare it against other large types.