Eubranchus rubropunctatus

Edmunds, 1969
This species name is also known as Eubranchus mandapamensis