Yes, but try doing that today, and the story is rather different!!! ApolloBoy definitely scored a bargain in my book, I'd be very happy to pick up a Jaguar these days for 25 GBP. (When have flea-shop/retro game stores reflected the bargain prices you might obtain if you're lucky?) Retro gaming (and even worse, pure collecting by people who don't play the games they hoard) have reached epidemic proportions, it seems to me!
I was in Amsterdam yesterday, I visited a great little computer shop with a great retro-gaming section, and I think the Jaguar was going for around €100. Buying a unit from other European dealers, mail-order, new will be about the same.
At Classic Gaming Expo in the UK just two weeks ago, 16/32 Systems was selling new boxed Jaguars with shrink wrapped Kasumi Ninja into the deal for £33. In all cases I'm talking about new, not used, but anyway, welcome to the Jaguar scene, ApolloBoy. I'm sure you'll have a lot of fun ahead.