I think a fiver to replace if I recall. Although I wouldn't jump in just yet, have another look around, you've probably got quite a while before you'll need it again!
When mine was in a wallet I lost some years ago I'm sure they charged me £30 to replace it. I might be wrong mind and my mind might be a bit hazier than usual so don't take it as gospel!
