Wow I didn’t know that! Great little factoid. But I though dumb money was okay. It was no big short but it’s a nice way to digest what happened with that short squeeze.