Last year Sony had a education promotion with 30% off, including A7RIV and A9. So the final price was around $2449.
As a european, paying 4000€ ($4410) for the same item feels wrong, even considering the price includes taxes.
Personally I don't care about statistics or talk from resellers. As spiffs seem to be getting more common, his interest might not be the same as mine.
To get back to the X-T4: really looking forward to it, the X-T3 was great, but there were a few things that could be better.