What Size Fuse 2

I am opening a new post because my last one was just shut down without giving me an option to add a response to it. 

I am fully aware regarding the no serviceable fuses inside the CDJ 3000 but my question related to the UK IEC power lead. There is a replaceable fuse in the UK plug that connects to the mains socket and I am asking what size amp fuse should be in there. Is it 5A, 10A, 13A or something else. The reason I am asking is I bought some additional IEC leads from a DJ retailer in the UK (so I can leave some plugged in at home and take some to gigs with me) and the fuse appears to be 5A in the leads I purchased but 10A in the ones that came with the CDJs. So, for absolutely clarity I just want to make sure that CDJ 3000 IEC leads should have a plug in them with a 10A fuse for UK.