Ibanez RG42-DX - Value?

Hey guys,

Just looking for a quick answer, what's the price (brand new) for an Ibanez RG42-DX? Need this for insurance.

Thanks!

Francis (who I bought it from) just told me R7k ?