I agree, I don't remember this place having a name and I also don't think "amphitheatre" would be the correct term. The existing building should be separated into the stage (use amenity=stage) and the sitting seats (use leisure=bleachers). 