So, is 4090 really that better then 4080? I can get ASUS TUF OC 4080 for 1575€. What do you think? Is that a good price?