UPDATE: Now purchased.
I'm trying to get hold of Pokemon Pinball prior to our holiday - the Ruby/Sapphire version for the GBA, not the first version for the GB Colour. A local game shop has it boxed with manual for £10, but I'm trying to spend less. My son loves Pokemon, but I'm not sure that he'll take to pinball, or if it will hold his attention for long.
If anyone is prepared to sell for around a fiver, please let me know - I'm quite happy to buy just the cartridge if that's what you have, although a manual is preferable.