It is good manners to ping someone when you talk about them.
I wouldn't dream of imposing on Mr. Robinson's time for something this trivial.