Small form factor builds are a thing - for all we know they picked up another.more expensive 4090 that fit better.