Ah yes, but they do serve jelly beans on the USS Ronaldus Magnus
They sure do...”Jelly Belly.” I still have a bag.