The Tomb Raiders hold their price because of the rarity. You still see examples at around ?14500, which is what they were making many years ago. If it is VERY cheap, just make sure that there isn't a problem, if it is in good condition, it shouldn't be much under ?10000 I wouldn't think. Hope it works out.
Cheers, Stan