All - currently agonizing between Delta & Aeromexico for connecting service between JFK & PVR. Aeromexico wins on longer connection time but shorter elapsed time (both positives due flying with kids). But I've never flown Aeromexico and am unfamiliar with immigration at MEX. In fact, does one clear at MEX or PVR? JFK terminal/lounge issues not important, nor is the return itinerary, just the westbound issues. Guidance appreciated...