the actual installation was done by another party, apparently without issues. I needed to change the size of the master, so I ran SQL Setup. Which immediately informs me that...