    /** Two Vehicle objects are "equals" if they have the same VIN */
    public final boolean equals(Object obj) {
	if (obj != null && obj instanceof Vehicle) {
	    Vehicle other = (Vehicle)obj;
	    return VIN == other.VIN;
	}
	return false;
    }

    /** Fold 64-bit VIN into 32-bit hash code */
    public int hashCode() {
	return (int) ((VIN >>> 32) | (VIN & 0xFFFFFFFF));
    }
