You're probably right about them not being Antminers...but you didn't get the meaning of my post/joke:

Antminers = ants + miners = teeny weeny little miners, able to fit in a jewelry box to present to your GF.