In Real Life: Mining the Deep Sea