@megadrive2 I have occasionally visited your thread, don't know how you keep track of it all if you ask me, crazy! ha ha, don't know how I missed the swimming bags etc though.
For those not importing the Aladdin Toy Box pack, cheapest I have found is Toy's R Us for £19.99 (available for Click & Collect, so can avoid the postage costs).
Don't know what's going on with the prices for the pack though, a lot of places seem to be offering it for around £20 whilst others I've seen it for as much as £35.
For those who bought Aladdin as a Single figure, thought it was worth a mention that CEX currently offer £5 cash or £8 credit for trade in of the figure, quick easy way to get rid of the additional Aladdin figure and get a bit of cash back, and makes it reasonably cheap way of getting the texture discs!