Converting to OSPF from EIGRP

Figured i'd just remake this since I have a more concise, albeit basic drawing to help get across my concerns / questions. https://i.imgur.com/FbWZ1mZ.jpg

Based off the diagram provided, we are adding new 6880's for distribution to our environment. This will have two L3 links to our two VPC 7k's. We are attempting to go from EIGRP to OSPF as another company that we are merging with uses OSPF.

Everything black line is EIGRP, the green line is the static default route on our ASR pointing to our FW for internet access. Currently we redistribute our static routes into our EIGRP.

The new subnets will be behind the 6880's (ex: 172.23.10.0 /24). The red lines are the links that would be advertised into OSPF - OSPF will be running on the 6880, both 7k's on the left, and the headend ASR. On the ASR I was planning on redistributing the static routes into OSPF as well for internet connectivity and "default-information originate" on the ASR to make sure the 7k's and 6880 have the default route within the OSPF process as well. I would also be redistributing EIGRP into the OSPF process as well.

My concern is does this seem like the most feasible way to make sure the OSPF subnet (172.23.10.0) will be able to route to the internet, the old core environment (192.168.1.0 /24), our remote sites (172.22.0.0) and the server environment (172.23.0.0) and vice versa.

The only other concern is, is there any downside or is it possible to have both EIGRP and OSPF enabled on the 7k interfaces? I did it all in packet-tracer and GNS3 and all pings worked properly... but that's of course just simulation.