We did a compression check with the engine cold, and here are the results:
#1: 60psi
#2: 90psi
#3: 90psi
#4: 30psi
We have not added oil to see if compression bumps up, or done a leak-down test.
After reading through the archives, I realize that these numbers are way low. We'll retest dry and with oil, but of course we cannot test at operating temp, as the car won't run