Many thanks to the people who have taken the time to respond to my post.
I have rung my local Lexus dealer who told me that it would cost around £4500 to fit a genuine satnav.
I already have a Garmin satnav which I think I will stick with.
Many thanks,
John C