Pretty sure you get them for around £85 in duty free if you know anybody that's going on holiday (dixonstaxfree or similar).
Karym6's link - just a comment, no offence - may get you a nice DS but looks like you have to buy an adaptor & who knows how problematic a warranty issue would be.
HH.