Does anyone have experience in driving a rental car in Cuba? Also I have heard that GPS sat nav devices are banned and will be confiscated on entry to Cuba, but I haven't been able to find any official advice on this.