Technically it might be more profitable to mine extraterrestrial diamonds.