Quick update. Sent my faulty N900 back to Nokia on 04/12 (mic was not working) and they have sent me out a replacement out today (15/12) and hopefully I will receive it in the morning. More hopefully it will be working. Just for arbitrary information there's approx 577,000 of a difference between the previous and the new IMEI's.