Hey we were on that same July flight. To offer a different recollection, there were mechanics on the ground to troubleshoot the issue. They also drained and changed the oil in the engine. But there wasn’t a new oil pressure sensor there so they couldn’t fix the actual problem.
