so our layover in manila was unexpected.  we arrived in the international terminal and had to transfer to the domestic terminal 15 minutes away to catch our connector to el nido.  we made it with plenty of time to spare…