THanks for the quick preply!!
I think you are unfortunately overestimating my coding skills - SORRY!!!
I found the line of code you referred to - Should I delete it? - if I do and my plugin updates will it re-introduce the feature I am trying to eliminate? if so- will using a child theme arrangement cover this update scenario (since this plugin is not a theme necessarily)?
Also I do not see how the Stackexchange thread addresses the question - it does not refer to roles or filter for them. It shows an abstract for removing something that shows, but not based on Roles. the goal is to prevent certain Roles from seeing admin options they have no business playing with.