EIGRP Redistribution

This is the question from CCNP route exam which I got from Digitaltut. I have created as GNS3 file for practicing.

There are three OSPF areas including Area 0 and one EIGRP AS 100 networks.
Goal is try to reach R2's  s1/0 interface from R4.

The point to test in exam is how you understand about redistribution.
I'm not sure exactly about original exam  questsion but I have added Area 0 by myself. If not it doesn't make senese to reach to R2's s1/0 interface.

Download complete lab from here.
https://docs.google.com/leaf?id=0B889ogd4ltI2NWQ2NGFjMWYtOTUwMy00NDI3LTgzNWItNTRiNWZmZTRkMjkz&hl=en&authkey=CNeu1b4D

First thing to know is all OSPF areas 24 and 34 are already configured.
EIGRP 100 has configured in R4-R3-R5.

Two redistrubution points;
(1) From R3's s1/2 (EIGRP 100) to OSPF area 24
(2) From R5's f0/0 (EIGRP 100) to OSPF area 34

The main point to note is check the K values of s1/2 of R3 and fa0/0 of R5 before redstribution.
How to check? Use "sh interface s1/2"

R3#sh int s1/2
Serial1/2 is up, line protocol is up 
  Hardware is M4T
  Internet address is 192.168.3.3/24
  MTU 1500 bytes, BW 1544 Kbit, DLY 20000 usec, 
     reliability 255/255, txload 1/255, rxload 1/255
--------------------------------
Here are the things to note. BW is 1544, Delay is 20000 usec (2000 msec), reliability is 255, load is 1 and MTU is 1500.
So, the command to redistrube is as follow;
redistribute ospf 1 metric 1544 2000 255 1 1500
==========
But, checking in R5's fa0/0 will get different value because of it's fast ethernet interface. Check it out.

R5#sh int fa0/0
FastEthernet0/0 is up, line protocol is up 
  Hardware is Gt96k FE, address is c001.0aaa.0000 (bia c001.0aaa.0000)
  Internet address is 192.168.4.5/24
  MTU 1500 bytes, BW 100000 Kbit, DLY 100 usec, 
     reliability 255/255, txload 1/255, rxload 1/255
------------------
As you see, K values are as follows;
MTU 1500, Bandwidth is 100000 , Delay is 10 msec, reliabiliy is 255 and load is 1.
------------
All know that EIGRP's metric value calculation is only K1 and K3. It means it is only account only bandwidth and delay.
Here is the command to use for redistrubtion of EIGRP routes to OSPF area 34;
redistribute ospf 1 metric 100000 10 255 1 1500
-------------
In the mean time, when redistrubtion of EIGRP routes, pay attendtion to whether E1 or E2 types.
In short, E1 means metric will increase along it paths but E2 has constant value.
-----------
How to check whether route is E1 or E2 type.
It's simple. If you don't type any metric type, default is E2. To redistribute as E1, type "metric-type 1"
-----------
Check how it increase if the metric-type set to E1 in R2 and R1.
In R2's route table, both E1 routes have feasible distance 21.

     1.0.0.0/32 is subnetted, 1 subnets
C       1.1.1.1 is directly connected, Loopback0
     5.0.0.0/32 is subnetted, 1 subnets
C       5.5.5.5 is directly connected, Loopback1
     172.16.0.0/24 is subnetted, 1 subnets
C       172.16.100.0 is directly connected, FastEthernet0/0
C    192.168.4.0/24 is directly connected, FastEthernet0/1
O E1 192.168.1.0/24 [110/21] via 192.168.4.5, 00:24:44, FastEthernet0/1
O E1 192.168.2.0/24 [110/21] via 192.168.4.5, 00:24:44, FastEthernet0/1
C    192.168.3.0/24 is directly connected, Serial1/0
------------------
Let's check in R1. Feasible distance increased from 21 to 22 due to Fast Ethernet interface between two routers.
Also take note that default cost  for all redistribute external route (in this case , it is EIGRP AS 100) to OSPF is 20. That's why, in R3, it is appearing as 21 and in R1, it is 22.

     1.0.0.0/32 is subnetted, 1 subnets
O       1.1.1.1 [110/2] via 172.16.100.2, 00:26:42, FastEthernet0/0
     5.0.0.0/32 is subnetted, 1 subnets
O       5.5.5.5 [110/2] via 172.16.100.2, 00:26:42, FastEthernet0/0
     172.16.0.0/24 is subnetted, 1 subnets
C       172.16.100.0 is directly connected, FastEthernet0/0
O IA 192.168.4.0/24 [110/2] via 172.16.100.2, 00:26:42, FastEthernet0/0
O E1 192.168.1.0/24 [110/22] via 172.16.100.2, 00:26:42, FastEthernet0/0
O E1 192.168.2.0/24 [110/22] via 172.16.100.2, 00:26:42, FastEthernet0/0
O IA 192.168.3.0/24 [110/65] via 172.16.100.2, 00:26:42, FastEthernet0/0