Good for them. PC-USA is a mushy mess. PC USA is concerned with being PC....
On the other hand, PCA is much more Biblical.
Did they get to keep their building?
Will they have to purchase the property from the PCUSA. When Dr, D. James Kennedy church split from the PCUSA, it had to go to court regarding the property. PCA and EPC are conservative denominations they work in conjunction with each other the PCA has its own MDIV granting seminary and EPC has its own MDIV granting seminary. It will be interesting to see how this plays out in Puerto Rico, as the Puerto Rican courts will probably get involved too.
PCA - Presbyterian Church of America - Atlanta Georgia seminary is St. Louis Missouri Covenant.
EPC - Evangelical Prsebyterian Church
I will have to check where this one is based out of, formerly I was PCA but left after a non-fault divorce.
I had to start over with a new church denomination and a whole new educational endeavour. Now with the Wisconsin Evangelical Lutheran Synod - ultra-conservative out of Milwaukee, WIsconsin (it has its own schools in New Ulm Minnesota and Thiensville, WI)