Got it back last night. Yay! Drove it down the driveway and the check engine light turned on. Booooo!
Drove it back up the driveway to show the dealer before he drove off, and it turned back off. Decided to take it to work this morning and it looks like it is back on.
He had driven it for 40 miles or so after swapping out the gas, and ran it sitting for quite a while too. It never came on for him.