Random question:

In a typical diner in the U.S., is it common, uncommon, or
totally unheard of to brush butter onto a hamburger bun
before grilling it?

Thanks,

Steve