As far as I know, they are outsourcing the coal and I don't know if they are mining their own mines yet? 10k's would answer all of that conclusively for us.