Ah. Well keep in mind the boil off for 10 gallons ISN'T twice the boil off for 5 gallons- it's the same. So, if you boil off 1.5 gallons in a 5 gallon batch with that equipment, you'll do the same with a 10 gallon batch. So, doubling the water isn't correct.
If you add the water to the HLT (as I have to), you won't really drop the temp much. Here's why- the strike temp might be, oh say 168. You transfer 30 quarts (1.5 quarts per pound for a 20 pound grist) to the MLT. You've already got 9 gallons in there (if you started with 15). So, you can add water to the HLT and still be under the 155 degree recirculation, or whatever temperature your HERMS is set at, particularly if you take a few minutes to stir your mash and gradually add the grain before starting the HERMS. Or like in my case, I preheat the MLT with 180 degree strike water, so when I add water to the HLT, it drops to just about the right temperature, or the element kicks on while I mash in.
For a 10 gallon batch, using 20 pounds of grain, you'd mash in with 7.5 gallons. You'd probably have two gallons of absorption. You'd want to start your boil with 12.5 gallons or so. So, I figure about 7.5 gallons of sparge water. Of course, your system may need more or less, but that's what I'd do on my system.