Oh well sorry grumpy old man, if somebody can just say 'aye' it's as easy as Googling.
Thanks for the thread though.
EDIT: Damn thats expensive for a rather old game. Cheapest on my usual online website is 20 Euros. And then you just got Portal. Orange box is 40 euros, ffs.