I'm not wild about the 17-40mm, which has a lot of distortion and corner sharpness/backfocus issues, but it's a nice lens ergonomically and the focal length is useful if you have to get super wide.
The 11-16mm Tokina is rather wonderful for APS-C and you can use it (but with soft corners) at 16mm on the 5D. Contrary to popular opinion, the corners are really very soft with it on the 5D unless you stop down to f8--worse than with the 17-40mm L, but it's a great lens on APS-C and useable as an UWA for FF.
I am extremely fond of the 14mm f2.8 II L, but the cost is high and it's so wide it plays like an effect. Super wide, great contrast and sharpness, and minimal distortion, what's not to like (well, the focal length if you don't want it).
There are lots of affordable third party options, too. The 17-40mm can take filters and is weather sealed, so while that doesn't seem important, it can make it an easier choice.