The Museo de revolucion was great but definitely in need of a bit of a refresh so that's nice to hear. Surprised the grand theatre is getting renovated, it had just finished being completely restored a few years before I went and it was pristine inside. Hopefully it's just minor fixes and it can reopen again soon.