The leaves have a pleasant aroma when crushed a bit, but it’s not Lavender.
I searched through Google images and couldn’t find anything similar, but they are very common in the gardens in my neighborhood.
I am perplexed!
* * *
Thanks to commenter “Dawn”!!!
These are a variety of Catmint (Nepeta), though they have a deeper magenta bud which is ‘furrier’ than most of the Google images.
But the leaves are the same, and apparently the colors can vary somewhat.
Thanks again, Dawn…you made my day by teaching me something new!