I was checking out the situation in my peppermint tank the other day when I came across a monster 17cm peppermint. Has anyone seen one this big before?