La mejor manera de saber que tipo de gps es un dispositivo es por su serial: [Solo usuarios Registrados pueden ver los links. haz click para registrarte]

Los modelos que comentas pueden ser nav4 o nav5.