HAL9OOO, Mann, Castle Cove