Trying to decide on a 4080 model

Hello, I'm building a computer and considering getting a 4080 as my graphics card. I can't decide on which brand and model to get. Here are the models I'm considering and their prices in Turkey (converted to USD):
Inno3D RTX 4080 X - $1,444.16
Inno3D RTX 4080 Ichill x3 - $1,626.09
MSI RTX 4080 Ventus 3X OC - $1,470.56
MSI RTX 4080 Gaming X Trio - $1,622.34

What are the differences between these? In terms of temperature, quality, etc.?