Did you know that the setting of Grand Theft Auto: Vice City is heavily based on the city of Miami ?