Yup, my 2000 Explorer is dead. Blew the head gasket, will cost 3k to fix.
Should have parted with it years ago...nearly 160K miles....but I loved the thing
It died on the PA Turnpike Saturday. JB tried to revive it, but it died anyway.
Now looking at new cars....