Something like that. Lack of sleep is a contributing factor as well. Dennis just found out that the 8:25 AM ticket he purchased got processed as 8:40 PM flight instead, so we're trying to figure out a new plan for tomorrow. United said he could change the flight back to 8:25 AM for only $1019 US.

M60ti, VP180, QS8, M2ti, EP500, PC-Plus 20-39
M5HP, M40ti, Sierra-1
LFR1100 active, ADA1500-4 and -8