You still can use 4x margin so even if it is not true, you can make 10k wall with 2.5k btc.
Nothing wrong with that -- could end with massive short squeeze.

Only those who were grandfathered in can do 4x. Some get 2.5x, new users get 2x. You'd have to be insane to full leverage at 4x in this market....