I honestly don't know... there is a bowl out for the breakfast buffet labelled:

mantequilla de manĂ*

It has a rather unique flavour, not bad, but different.

I've eaten peanut, and many other nut butters over the years, including organic... but this is... unique.

lol