DIGINEXT

Military GPS receiver for ship applications.