Its your heater core hoses that are leaking.
Tell her to take it back to the place she installed it. I wouldn't run that much boost either. boosting like that, and leaking coolant isn't a smart thing to do.
You will def blow your headgasket alot faster like that.
If no shop installed it, take out the lines and inspect them.They arent that hard to get to, but it is a bitch to squeeze your hands back there.
You might have cracked the tubing that leads into the firewall.
Check on that, then report back
