“What size does the drain pan have to be? Specs say 34" deep but I'm guessing the front of the washer bows outward & door protrudes but the pan depth doesn't have to be 34" deep since the washer's footprint is less?”