Nie wiem, czy ten sam. Ewidentnie różnią się ubarwieniem, Mammilatus jest pomarańczowy. Chociaż nie wiem jak to jest z oficjalną klasyfikacją. W każdym razie ja wolę rozróżniać.