Aunque ahora que pienso... igual y el depurador que sale es el visual interdev y nunca me había fijado...
como hace tiemmmmpo me desaparecieron misteriosamente las opciones avanzadas del IE (cosas del güindous) no he podido volver a activar el depurador (que ahora sí que me gustaría usarlo, pero no sé andestá)