¿9 minutos demasiado para un vídeo de minería de ORE o no?