Right up front, any EV folks coming here should know that the "EV charging" is actually a NEMA 6-20 receptacle, not a J1772 station like I had wrongly assumed. You will need to bring your own cord, and the right plug to match that receptacle. That plug is really rare on EV charge cords (most have a NEMA 14-50 plug) so you will either need to adapt, or not charge.
Other than the disappointment of discovering that I couldn't charge here as planned, this place was great! They provided excellent instructions on self-checkin, and absolutely everything you could want or need inside was provided. Notwithstanding their warnings about family noise from elsewhere in the house, I had no problems and slept like a baby. They provide a great neighborhood guide, and there are bus and streetcar lines within a few blocks of the house.