Missing Xilinx EDK Temac example

On Xilinx's website page:
http://www.xilinx.com/ise/embedded/edk_examples.htm

There are 2 LWIP EDK  example designs, one of which is supposed to support 
the hard Gigabit temac core on the Virtex 4 FX series.  In fact, both zip 
files are identical and for the 10/100 soft core.  Has anybody found the 
Temac example, or heard from Xilinx whether the Temac example will be out 
with the next EDK service pack (due about now)?

Extract from the Xilinx page:
=============================
PowerPC Supported Examples
LwIP Sockets API:
       Using 10/100 regular Ethernet core (zip)
       Using 10/100/1000 hard Ethernet core (zip)  << SAME AS PREV.
       Will now be supported on the ML403 board
=============================

It would ease my life considerably to see the gigabit source, since ,being 
new to the EDK, I am struggling trying to convert the 10/100 design for the 
Temac.

Paul