You are correct, I haven't. Not certain how much needs to be removed, but my guess is that you could spend 6 or 8 hours just getting to it. Much like my Ford where they put the water pump inside of the engine, so when it fails, it ruins the engine as a result of the coolant mixing with the engine oil. Another engine that I wouldn't want to get into. On the flip side of the discussion, I had been into the backhoe valve on my old BX22, and it wasn't a fun thing to take apart. On the good side of things, I have a well-stocked tool boxes, and I was able to complete the task of replacing the one leaking hose without losing my sanity. When I turned wrenches for a living, I worked on whatever came in for repair. I am long past there now, and I don't even work on my own cars except to change the oil and check fluid levels. I'm not a fan of modern engines with all the computer technology involved. I prefer simple mechanical things today.
I also know that not everyone has the same mechanical skills, and I fear that if she gets in over her head she will be in worse shape. I also believe that this repair might be beyond her pay grade. I have known many women that could turn a wrench better than most men, but they are a rarity because most women haven't been exposed to the mechanical side of an automobile. Today it is no longer acceptable to say that a woman can't do what a man can do, however, there are many things that a man can do that a woman can do better. I am just not certain in this instance that this is the case. I might wind up in the penalty box for typing this, but she needs to know the size of the can of worms this can turn out to be. This isn't like changing a tire.