Ethernet shield problems! Time to update library?

Do you guys know how we can use the full 8k of RX buffer of the W5100 chip? Seems like we are set at 2048 for up to 4 socket connections. Can we go 4k on two sockets max instead? How can I make these changes?

Here are some more details in this post: http://www.arduino.cc/cgi-bin/yabb2/YaBB.pl?num=1282169385