HPT maintains their own tune repository. That said theres a mix of stock and edited tunes...

There is also someone who maintains EFI Live stock tune files on a file sharing site called "dropbox"....

The repository is there
I signed on last night and i had no prob getting into and downloading a tune. Still using 3.0 btw...