Derick changed it to be "Doughnut Time" back on September 2024 https://www.openstreetmap.org/changeset/156289264 . It remains so in the data, but Tomas' photo from March 2025 shows it's now "Rodeo Donuts". Shall we change it?