Yeah they got the mash before eating. :)
If you want to add something to the butter we saw this on a post here. Wagu tallow.
https://www.amazon.com/dp/B0881XTCR3
We're not nearly as impressed as most of the reviewers on amazon, but it does have a mild beefy flavor that works okay on burgers and steaks. It's mostly whipped in air though.