Ant-Man ชื่อเรื่องในไทยชื่อว่าอะไร

อย่าง
- Spiderman ก็เป็น ไอ้แมงมุม
- Batman ก็เป็น มนุษย์ค้างคาว
ถ้าเป็น Ant-man ชื่อไทยยังไม่ได้ตั้งใช่ไหมครับ?
แล้วเราควรตั้งชื่อเขาว่าอะไรดี ?
(ไอ้มดแดง ไม่เอานะครับ มันซ้ำกับ kamen rider ของพี่ยุ่นเขา)