Royalty Insurance Company of San Antonio, Texas.