I have just bought a new nintendo ds lite off ebay. It's imported from the US, its the cobalt blue coloured one. Anyway i've noticed that the touch screen makes a very high pitched noise. I've read of a few cases of this and also that it comes under the 12 year warranty. However being in the UK but having a US system will nintendo UK repair/replace it or not?