Didn't we have a president nicknamed, "Buba" a few years back?