If you're interested in a good cable lock, my suggestion is to save some money and buy plastic zip ties from the dollar store.

+1 on the Abus Bordo though, it's about as light and convenient as you'll get and still have a decent lock.