Tax questions regarding oil royalties