¿Qué son? ¿Cómo se llaman?

Me rindo. A todos los que alguna vez me preguntaron el nombre de estos insectos: ni idea. Les prometí investigar y lo hice, pero nadie ha sabido decirme. Busqué en la red tipos de insectos de jardín y lo más parecido que encontré fueron la Eurydema ornatum y la Eurydema ventralis, pero los ornatum y ventralis son preciosos y sus diseños diferentes y más elaborados. Los de la foto, objeto de “la investigación”, parecen cucarachas rojas, chinches, escarabajos... La única referencia que tengo es que siempre están subiendo y bajando por troncos viejos y podridos, y que se aparean de espaldas. Hay montones en los humedales de Nigüa, en San Cristóbal. Los de la imagen escarbaban de lo más chévere en unos troncos viejos en la laguna de Bávaro. Si alguien sabe qué son, y cómo se llaman, ¡dígannoslo, por favor!