EIGRP/OSPF Redistribution Loop

See topology: http://s30.postimg.org/4bdksip29/Screen_Shot_2014_02_17_at_8_53_49_PM.png

I am trying to just get both R6 and R10 to redistribute eigrp into ospf and vice versa.  Obviously there is a loop here, but how do I get ASBR redundnancy and load balancing?

On R8:

R8#sh run int lo1

Building configuration...

Current configuration : 205 bytes

!

interface Loopback1

 ip address 172.16.1.1 255.255.255.0 secondary

 ip address 172.16.2.1 255.255.255.0 secondary

 ip address 172.16.3.1 255.255.255.0 secondary

 ip address 172.16.0.1 255.255.255.0

end

R8#sh run | sec router

router eigrp 20

 redistribute connected

 network 10.0.10.0 0.0.0.255

 network 20.0.0.0 0.0.0.255

 no auto-summary

 eigrp router-id 0.0.0.8

R8#

On R6:

R6#sh run | sec router

router eigrp 20

 redistribute ospf 1 metric 1000 300 255 1 1500

 network 13.13.13.0 0.0.0.255

 network 20.0.0.0 0.0.0.255

 no auto-summary

 eigrp router-id 0.0.0.6

router ospf 1

 router-id 0.0.0.6

 log-adjacency-changes

 redistribute eigrp 20 metric 333 metric-type 1 subnets

On R10:

R10#sh run | sec router

router eigrp 20

 redistribute ospf 1 metric 1000 300 255 1 1500

 network 10.0.10.0 0.0.0.255

 network 13.13.13.0 0.0.0.255

 no auto-summary

 eigrp router-id 0.0.0.10

router ospf 1

 router-id 0.0.0.10

 log-adjacency-changes

 redistribute eigrp 20 metric 333 metric-type 1 subnets

I am not getting 2 copies of type-5 LSAs on R5 and R7.  My question is why not?  R10 has EIGRP routes:

R10#show ip route eigrp 

     20.0.0.0/24 is subnetted, 1 subnets

D       20.0.0.0 [90/30720] via 13.13.13.6, 00:12:36, FastEthernet1/1

                 [90/30720] via 10.0.10.8, 00:12:36, FastEthernet0/0

     172.16.0.0/24 is subnetted, 4 subnets

D EX    172.16.0.0 [170/156160] via 10.0.10.8, 00:12:36, FastEthernet0/0

D EX    172.16.1.0 [170/156160] via 10.0.10.8, 00:12:36, FastEthernet0/0

D EX    172.16.2.0 [170/156160] via 10.0.10.8, 00:12:36, FastEthernet0/0

D EX    172.16.3.0 [170/156160] via 10.0.10.8, 00:12:36, FastEthernet0/0

     8.0.0.0/32 is subnetted, 1 subnets

D EX    8.8.8.8 [170/156160] via 10.0.10.8, 00:12:36, FastEthernet0/0

R10#