Hello, I have some questions about marine heads. Don't wanna ask questions that have already been answered but they are very general.I am considering buying an ericson 30+ 1980. It has a marine head with 15gal holding tank. The head looks clean/neat but I do notice an odor in the head, don't notice it at all in the cabin when the head door is shut.Questions are:Assuming the holding tank has some "stuff" in it, will the odor go away if the head is pumped? or is the smell in the tank and hosing? I am unsure when/if these things have ever been replaced/changed.Is it reasonable for one of the stipulation upon buying the boat that they have the holding tank pumped? What is involved with pumping the holding tank, done only at a marina? How much does it cost? Flush with a bunch of fresh water I assume at the same time to flush it out as best possible?Generally is it a huge deal/not much of a deal to replace the hoses and holding tank if I wanna tackle this myself if the odor isn't gone after a pumpout has been done?I will be mostly daysailing with the boat and will try to not even use the toilet, and just mostly want a "fresh" start with the boat.Any help would be appreciated and I'm sorry if these questions are silly or if they've been often asked.Doug