Festetics and the Oktober Tower are already included in the area that is marked as CEU. It might be a bit difficult to see on the osm.org website, since the building structures are rendered over the university area.