They lowered this to 2k a while back though.

EDIT: It seems it's completely removed now. https://www.interactivebrokers.com/en/index.php?f=4969