Dunno how much volume it takes to cover my element, but it really doesn't matter. You will be using at least 15-20l for the mash anyway. If you're concerned about it, you can just bend the element lower anyway.
I also recommend getting a 19l bigW pot to use as a grain basket, cheap as chips and...