<div dir="ltr"><div>I would be more in favor of using more explicit tags, like amenity=police_station because this implies more obviously that it is a public facing facility.</div><div><br></div><div>Cheers,</div><div>Martin<br></div><br></div>