Hi,
beschreib mal die roten Flecken näher, Größe, Anzahl, wielange sind sie da (dauernd oder nur ab und zu...).
Wenn es überhaupt nicht juckt: schon mal prima!!!! Wäre untypisch für eine Allergie, allerdings auch nicht auszuschließen.
Es könnte sein, dass er mit einem Virus rummacht, und die roten Pusteln sind ein Symptom davon. Gibts häufiger bei Nesselsucht/Urtikaria (auftreten synchron mit Viruserkrankungen). Allerdings jucken diese Flecken normalerweise heftigst und sehen auch eher aus als wäre man in die Brennnesseln gefallen (leicht erhaben, stark juckend, "Quaddeln). Wobei ich selbst auch schon mal "nur" rote Punkte hatte, die nicht juckten. Es gibt nichts was es nicht gibt.
Solange es nicht juckt, und keine Röteln, Masern oder sonstiges dahinter steckt: würde ich es ignorieren. Wahrschl. vergehts von allein wieder. Sicherheitshalber würde ich aber schon einen Hautarzt/Allergologen draufschauen lassen.
Gute Besserung!
Luchs