6000系がVVVF化されてたら、養老鉄道は東急7700系じゃなく6000系を買っただろうか?