Got the TPMS fixed under warranty. Was actually a dead sensor instead of it being merely unplugged.  Now just enjoying some back roads until my brother gets off work and we go try to finish replacing the radiator on his Civic.