hm double-tail

I got a new betta! He is a Double-tail, but I believe he was labeled wrong and is actually a HM Double-tail. Dunno. Here he is!   I need name help, and judging on the other naming threads, this guy will be easy. Here are my ideas, but feel free to suggest.   Manchado: means spotted or...