Red arrow isn’t so user-friendly. So the new highlighted marker for bike pumps is the bike pump marker with a red dot on it, like the auditoriums. The consistency is important. Committed on Github, but not Market.