Hi all, hauling out soon for bottom paint effort. Wonder how many gallons other E38 owners have used in the past? Trying to plan / budget. Thanks in advance, David