¿9 minutos son demasiado para un video de minería de ORE o no?