9" is right in the range for most reflectors. The Lumenarc minis (the 14.5" version "mini" is the one you want) and the Lumenmax are designed for 2 foot square coverage at "regular" mounting heights which are in the 8" - 12" range. So the Lumenarcs should work great mounted to the inside top of your canopy and provide full and uniform coverage of the 2 foot square area (each one). I you havent seen the version made for canopy mounting (doesnt have or require the outer case) there is a photo here. It is the mogul version. The dealer is apparently out of stock but they usually dont have the best prices anyway ...
http://www.hellolights.com/index.asp?PageAction=VIEWPROD&ProdID=1473
The Coralvue electronic ballasts are pretty popular. I havent used them but they do the job. There are lots of electronics ballasts these days. Icecap, Lumatek, Galaxy (sunlight supply), Coralvue, ARO (cheaper, no fancy case but work great) ... these are probably the most popular of the brand names and of course Im probably missing a few. The Lumatek's are very popular these days and they arent very expensive at all relative to some of the others but I dont think they ever introduce a dual. The company has been making ballasts for a long time for the horticulture and general lighting industries and introduced the ballasts to the aquarium hobby not all that long ago. But they have been very well received.
You can do some number crunching after looking up the prices of some of these other ballasts and see if the package deal is really the best price. Obviously buying eveything from one place is ideal to save on shipping costs as well.
For specific feedback on the coralvue ballasts, it's best to start a seperate thread and ask about them, check if users are happy with them. I havent heard anything negative but I havent inquired specifically. I use magnetics because they are as close to bullet proof as possible and the parts that do go bad (cap, ignitor) are easily user replaceable and readily available. The problem is that you need to run a specific magnetic ballast for the different bulbs ... for example, there are Pulse start, probe start and HQI bulbs in 250 watt. I Have a magnetic ballast for each of the types (as well as for 175 watt and 150 watt).
The electronics are made to run all of them so you can swap bulb types and not worry about ballasts. The only thing you need to worry about is the wattage. 250 watt ballast with 250 watt bulbs. So electronic pretty well covers them all. They may not be exactly optimum for every bulb type but they are designed to run them all and most reefers are probably running electronics these days with no signifigant issues to speak of.