who the heck is marvin