I suggest doing both. Coat the bottom of the baking dish with a good amount of enchilada sauce, then pour another good amount onto the rolled tortillas before topping with cheese. Once they've baked, warm more enchilada sauce in the microwave and pour as much as you'd like onto each enchilada at serving.