Added, thanks.
https://www.openstreetmap.org/node/13828356198

We already have a few of them, and so far we use dual tagging like office=government + amenity=police, because it's a hybrid type. Until someone finds out how to make it better. ;-)