Yes, it's something like that. I imagine the cost is proportional to the size and complexity of the particular setup? The company quoted $20k just to install it

Yes, it's something like that. I imagine the cost is proportional to the size and complexity of the particular setup? The company quoted $20k just to install it, which is why my acquaintance is volunteering to do it.